Search results

Jump to: navigation, search

Page title matches

Page text matches

  • :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,950 words) - 13:55, 19 November 2010
  • :David King and Philip Wadler. Glasgow Workshop on Functional Programming, Springe
    17 KB (2,312 words) - 15:10, 12 October 2013
  • :Deian Stefan, Alejandro Russo, John Mitchell, and David Mazieres.
    11 KB (1,484 words) - 12:29, 10 January 2016
  • :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
  • :Koen Claessen and David Sands. ASIAN '99. 1999.
    9 KB (1,309 words) - 07:48, 18 September 2014
  • ...etc). It was proposed and designed by Paolo Martini (xerox), and coded by David House (davidhouse). It's designed for use with [[Zipper|The Zipper]] but in
    5 KB (846 words) - 01:00, 9 October 2006
  • * 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
  • ...r explaining the theoretical roots of quines (e.g. [http://www.madore.org/~david/computers/quine.html#sec_fp fixed point theorem])
    13 KB (2,068 words) - 23:19, 3 June 2019
  • ...hsce/ Category extras], by [http://www.eyrie.org/~zednenem/about/dave.html David Menendez]: libraries for e.g. functors, bifunctors, comonads, natural trans * Brendan Fong, David I Spivak: [https://arxiv.org/abs/1803.05316 Seven Sketches in Compositional
    9 KB (1,329 words) - 01:02, 16 April 2019
  • ...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) - 05:49, 2 November 2016
  • ...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
    9 KB (1,368 words) - 10:48, 3 August 2019
  • * David Carter - also ignorant and interested; P(attendance) ~ 0.9
    15 KB (2,472 words) - 11:25, 24 August 2007
  • | waern || [[user:Waern| David Waern]] || Haddock website
    4 KB (572 words) - 14:23, 27 June 2009
  • | David Himmelstrup | David Waern
    4 KB (534 words) - 13:08, 17 December 2012
  • *[http://www.cs.chalmers.se/~dave/ David Sands]
    8 KB (1,362 words) - 17:21, 3 October 2015
  • * David Himmelstrup (Lemmih)
    52 KB (5,724 words) - 22:15, 23 July 2009
  • by David Place. Compile with -O2 -optc-O3.
    22 KB (3,539 words) - 00:49, 14 December 2016
  • -- Andrew Partridge and David Wright. -- Andrew Partridge and David Wright.
    133 KB (20,540 words) - 08:31, 13 December 2009
  • -- Mirko Rahn, Chris Kuklewicz and David Himmelstrup -- Mirko Rahn, Chris Kuklewicz and David Himmelstrup
    20 KB (3,229 words) - 07:54, 13 December 2009
  • Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner
    25 KB (4,131 words) - 04:51, 9 December 2007

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