Search results
Jump to navigation
Jump to search
- A slightly less formal essay inspired by the paper above can be found in Um ensaio pouco menos formal inspirado pelo paper acima pode ser encontrado em10 KB (1,648 words) - 22:57, 4 November 2008
- ...lid candidate sub-expressions, using the algorithm described in a previous paper[4]. In the screenshot in Figure 1 above, the right hand side of a let expre4 KB (633 words) - 06:14, 8 June 2023
- paper if they obtain the literate Haskell source code for the paper.10 KB (1,524 words) - 22:20, 13 November 2022
- Sadly this paper is a little hard to get hold of now so this page will explain the algorithm10 KB (1,498 words) - 19:31, 14 August 2006
- ...e [http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html TypeFamilies 2008] paper; but note that was written concurrently with Type Families development; and The 1997 paper explains14 KB (2,091 words) - 17:28, 4 February 2023
- Note that the syntax for quasiquotation has changed since the paper was written: in GHC 7 one writes <hask>[expr|...|]</hask> instead of <hask> the Haskell Workshop paper). These functions, from the Language.Haskell.TH.Quote12 KB (1,695 words) - 15:27, 12 November 2019
- ...r <tt>cabal install zeno</tt> to use it from home. You can find the latest paper on Zeno [http://pubs.doc.ic.ac.uk/zenoTwo/ here], though please note that Z8 KB (1,368 words) - 15:52, 22 February 2012
- ...t.psu.edu/viewdoc/download?doi=10.1.1.587.5376&rep=rep1&type=pdf ICFP 2014 paper]. This is a feature that first appeared in GHC 7.8.1 and will likely evolve5 KB (887 words) - 06:53, 12 June 2023
- ...ogramming is good ([http://www.md.chalmers.se/~rjmh/Papers/whyfp.html This paper is one famous attempt]), but perhaps a better question to focus on is "Why7 KB (1,226 words) - 00:35, 10 May 2008
- The abovereferenced paper describes how to implemement a STG machine in assembly language (or C). Jav So, similarly to what is described in the STG paper, the ''c'' method is used to evaluate a thunk. This method may also do self23 KB (3,210 words) - 22:00, 15 December 2008
- long_description=" MTL is a monad transformer library, inspired by the paper \"Functional6 KB (802 words) - 04:59, 12 July 2021
- ...data parallelism in Haskell, including some examples, can be found in the paper [http://www.cse.unsw.edu.au/~chak/papers/papers.html#ndp-haskell Nepal – ...ithm for solving the ''N''-body problem as discussed in more detail in the paper [http://www.cse.unsw.edu.au/~chak/papers/PLKC08.html Harnessing the Multico21 KB (3,158 words) - 08:39, 10 August 2022
- ...ttp://okmij.org/ftp/Haskell/Iteratee/describe.pdf Iteratees]" - FLOPS 2012 paper6 KB (927 words) - 12:02, 19 April 2024
- ...e rules. ([http://www.cs.uu.nl/wiki/bin/view/Ehc/RulerProgrammingTypeRules Paper]) ...trial strength" pretty printing library in Haskell, based on John Hughes's paper "The Design of a Pretty-printing Library" (in Advanced Functional Programmi13 KB (1,947 words) - 14:44, 21 July 2023
- ** which presupposes reading also paper on the [http://www.haskell.org/haskellDB/ original] page (see [http://www.h6 KB (884 words) - 16:00, 19 April 2021
- ==. The paper describing the modular monadic compiler == ...Technical Report"]] from http://www.haskell.org/wikiupload/6/61/2011-MCOMP-paper.pdf.zip20 KB (2,558 words) - 22:39, 29 June 2021
- ...c Prelude]]. See an [http://dafx04.na.infn.it/WebProc/Proc/P_201.pdf early paper] on the concepts. Highly experimental.6 KB (831 words) - 20:07, 5 December 2021
- This paper describes practical programming with types parameterized by numbers: e.g., In this paper, we develop realizations of number-parameterized types in Haskell that inde74 KB (11,649 words) - 11:34, 9 August 2012
- You can read the paper by Richard E. Korf named "Finding Optimal Solutions to Rubik's Cube Using P8 KB (1,020 words) - 01:02, 23 September 2018
- In the inital version of this paper, the following sources for packages are used:9 KB (1,365 words) - 21:35, 2 March 2012