Search results
Jump to navigation
Jump to search
- the Factoring library from David Amos' wonderful Maths library. See: http://www.polyomino.f2s.com/david/haskell/main.html7 KB (1,180 words) - 01:49, 13 February 2010
- Deian Stefan, Amit Levy, David Mazieres4 KB (706 words) - 12:51, 17 December 2012
- :Andrew Partridge and David Wright, J. Functional Programming 6(2): 355-364, 1996. :Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, and Manuel M. T. Chakravarty. 200610 KB (1,438 words) - 22:21, 14 February 2012
- * David Wagner * David Wagner10 KB (1,601 words) - 10:27, 27 October 2014
- * [http://www.scs.stanford.edu/~davidt/ David Terei] (Stanford University)6 KB (790 words) - 03:05, 25 July 2021
- * David S. Woodruff's [http://www2.lns.mit.edu/~dsw/turing/turing.html Turing machi ...#Maybe|Maybe]]) in [[Combinatory logic]] (see also [http://www.madore.org/~david/programs/unlambda/#howto_lists Unlambda's union type]).24 KB (3,687 words) - 05:32, 16 July 2012
- :David F. Place4 KB (570 words) - 16:55, 25 August 2011
- <dt>[[Darcs]][http://abridgegame.org/darcs/]<dd>David's Advanced Revision Control System is yet another replacement for CVS. It i ...ris.ac.uk/~tweed/haskprog.html David Tweeds Haskell Programs]<DD>Currently David offers a LaTeX preprocessor.14 KB (2,263 words) - 06:31, 10 August 2022
- ...for [[generalised algebraic datatype]]s. The motivations are described in David Roundy's slides [http://darcs.net/fosdem_talk/talk.pdf Implementing the dar4 KB (654 words) - 15:20, 6 February 2021
- ...it "on hold" and sees some inherent flaws in using Template Haskell. (See David Himmelstrup, 2006, [http://darcs.haskell.org/~lemmih/aboutMe.html "About Le4 KB (618 words) - 22:55, 11 July 2021
- wonderful "Haskell for Maths" library by David Amos, it takes9 KB (1,356 words) - 13:14, 1 July 2011
- *[http://www.cs.chalmers.se/~dave/ David Sands]8 KB (1,251 words) - 05:43, 1 September 2022
- | David Himmelstrup5 KB (701 words) - 02:22, 26 April 2021
- ...instruction but a ''dynamic'' one (David Madore's [http://www.madore.org/~david/computers/callcc.html#sec_intro A page about <code>call/cc</code>]) ...ode>call/cc</code>] describes the concept, and his [http://www.madore.org/~david/programs/unlambda/ The Unlambda Programming Language] page shows how he imp10 KB (1,560 words) - 12:02, 15 April 2024
- * David Himmelstrup (Lemmih)21 KB (2,417 words) - 23:19, 9 August 2021
- Comment by David Anderson: A good place to start for switching to CPS might be Attoparsec. T Hackers: David Anderson17 KB (2,638 words) - 12:02, 26 June 2013
- ;; Authors: David House <dmhouse@gmail.com>,10 KB (1,198 words) - 04:06, 19 September 2010
- :Jeremy Gibbons, David Lester, and Richard Bird. Journal of Functional Programming, 16(3):281-292 :Jeremy Gibbons, Wentong Cai and David Skillicorn (1994). Science of Computer Programming 23 p1-18.14 KB (1,953 words) - 00:54, 5 June 2022
- * David Himmelstrup, lemmih AT gmail.com7 KB (1,086 words) - 11:03, 20 July 2011
- * M. David Peterson: Con la ayuda de nuestros amigables ex-profesores locales y entusi8 KB (1,191 words) - 01:56, 21 October 2006