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.html
    7 KB (1,180 words) - 01:49, 13 February 2010
  • Deian Stefan, Amit Levy, David Mazieres
    4 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. 2006
    10 KB (1,438 words) - 22:21, 14 February 2012
  • * David Wagner * David Wagner
    10 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. Place
    4 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 dar
    4 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 Le
    4 KB (618 words) - 22:55, 11 July 2021
  • wonderful "Haskell for Maths" library by David Amos, it takes
    9 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 Himmelstrup
    5 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 imp
    10 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 Anderson
    17 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.com
    7 KB (1,086 words) - 11:03, 20 July 2011
  • * M. David Peterson: Con la ayuda de nuestros amigables ex-profesores locales y entusi
    8 KB (1,191 words) - 01:56, 21 October 2006

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)