Search results
Jump to navigation
Jump to search
- [1]: One example that makes use of it is SYB optimizer described in the paper "Optimizing SYB is Easy!" by Adams et al.15 KB (2,190 words) - 21:19, 17 February 2016
- depends on just too many things to fit in this paper,21 KB (3,170 words) - 18:18, 27 October 2011
- ...ibraries. For an earlier attempt at this problem, please look at Peng Li's paper [https://repository.upenn.edu/cgi/viewcontent.cgi?article=1391&context=cis_19 KB (2,840 words) - 16:41, 1 August 2021
- ...uckland Computer Science Report No. 71, and IFIP Working Group 2.1 working paper 705 WIN-2.14 KB (1,953 words) - 00:54, 5 June 2022
- Chris Barker's paper [http://www.cs.bham.ac.uk/~hxt/cw04/barker.pdf Continuations in Natural Lan15 KB (2,211 words) - 16:44, 1 August 2021
- ...kell, SML, C++, Java, C#. Haskell supports all constructs described in the paper -- the only language to do so.14 KB (2,263 words) - 06:31, 10 August 2022
- ...ivity, first described by McBride and Paterson. The title of their classic paper, [http://www.soi.city.ac.uk/~ross/papers/Applicative.html Applicative Progr McBride and Paterson’s paper introduces the notation <math>[[g \; x_1 \; x_2 \; \cdots \; x_n]]\ </math>179 KB (29,519 words) - 16:10, 30 December 2022
- ...s.php?ID=19146 foo 1.0-1] 1 Paper soccer, an OpenGL game.27 KB (2,482 words) - 19:02, 6 May 2020
- ...61.639&rep=rep1&type=pdf Guiding Parallel Array Fusion with Indexed Types] paper for a detailed explanation of each representation. A more advanced example from the Repa paper is matrix-matrix multiplication. The result of matrix multiplication is a m37 KB (5,672 words) - 07:28, 10 August 2022
- the regions. The monadic regions are described in the paper by M. Fluet20 KB (3,458 words) - 15:19, 6 February 2021
- ...phical User Interfaces (1995) by Rob Noble, Colin Runciman]. In fact, this paper was studied along with the Fudgets Thesis, and gave some inspiration to thi27 KB (4,152 words) - 01:58, 17 November 2007
- ...the rules: rewriting as a practical optimisation technique in GHC]. This paper, from the 2001 Haskell workshop, describes the idea of rewrite rules.19 KB (3,096 words) - 17:21, 4 February 2023
- <nowiki>*</nowiki> shapr begins his own paper "Generalizing Arrows to Spears" ...mikus> basically: The Chapter "Type-indexed datatypes" is based on the ... paper.55 KB (8,884 words) - 01:18, 10 November 2022
- About the paper in the above section: It never mentions the difference between longest vers18 KB (2,819 words) - 19:20, 15 August 2019
- ...respects the division between package manager and compiler. This is not a paper design: it is principally motivated by our (ongoing) efforts to implement B16 KB (2,520 words) - 06:08, 16 October 2016
- ...ricted Haskell syntax. It is based on the algorithm first presented in the paper "Deriving Structural Hylomorphisms From Recursive Definitions" at ICFP'96 b19 KB (2,935 words) - 13:50, 22 August 2022
- ...ACM SIGPLAN symposium on Haskell 2009. ([http://vimeo.com/6688091 Video of paper presentation])19 KB (2,599 words) - 00:14, 15 June 2023
- ...rg/haskellwiki/Image:Building_an_interpreter.pdf available now] (pdf). The paper is a step by step guide on the building of a small monadic interpreter. The ...d in [http://research.microsoft.com/~tharris/papers/2006-transact.pdf this paper (pdf)]. There are two operations: <code>always X :: STM Bool -> STM ()</cod93 KB (13,836 words) - 23:40, 14 August 2019
- Almost twenty years have passed since John Hughes influential paper [http://www.math.chalmers.se/~rjmh/Papers/whyfp.html Why Functional Program22 KB (3,703 words) - 21:20, 30 May 2021
- In a programming pearl paper [http://research.microsoft.com/~akenn/fun/picklercombinators.pdf] Andrew Ke28 KB (3,540 words) - 18:19, 5 January 2015