Search results
Jump to navigation
Jump to search
- | David Waern | David Himmelstrup5 KB (679 words) - 18:16, 11 March 2024
- * [[User:DavidLazar | David Lazar]]4 KB (570 words) - 18:12, 21 July 2011
- * David Terei (Stanford University)4 KB (543 words) - 13:44, 17 December 2012
- * '''[[HaskellImplementorsWorkshop/2011/Terei|Safe Haskell]]''' (David Terei) - [http://www.haskell.org/wikiupload/e/e1/HIW2011-Talk-Terei.pdf Sli4 KB (513 words) - 02:57, 25 July 2021
- '''What:''' The recent work dome by David Terei on an LLVM backend for GHC has shown some fantastic results, and gett <td>David Terei</td>11 KB (1,727 words) - 08:20, 1 June 2011
- | waern || [[user:Waern| David Waern]] || Haddock website4 KB (572 words) - 14:23, 27 June 2009
- ''Authors: [mailto:dbanas@banasfamily.net David Banas]''4 KB (545 words) - 00:10, 28 June 2011
- ...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 in5 KB (846 words) - 01:00, 9 October 2006
- | David Luposchainsky || TNG Technology Consulting3 KB (436 words) - 10:23, 28 May 2015
- * Before I knew about the HaBench project, I (David Peixotto) created the Fibon benchmark suite. Fibon is an effort to create a5 KB (697 words) - 16:59, 10 March 2011
- 2. David Himmelstrup, Lemmih, HAppS Inc. 19. David Fox (formerly Linspire, now SeeReason.org)11 KB (1,506 words) - 09:03, 15 January 2009
- | 5pm || || ''David Luposchainsky'', '''Low-level Haskell: an interactive tour through the STG' === David Luposchainsky ===13 KB (1,982 words) - 10:32, 8 September 2016
- ...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 Compositional9 KB (1,379 words) - 04:11, 14 February 2023
- 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