Search results
Jump to navigation
Jump to search
- * '''[[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
- <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
- -- Mirko Rahn, Chris Kuklewicz and David Himmelstrup -- Mirko Rahn, Chris Kuklewicz and David Himmelstrup20 KB (3,239 words) - 02:07, 26 April 2021
- *[http://socghop.appspot.com/gsoc/project/google/gsoc2011/lazard/8001 David Lazar: Formal Executable Semantics of Haskell]8 KB (1,152 words) - 13:09, 24 March 2018
- ...: credit for arithmetic functions is due to [http://www.polyomino.f2s.com/ David Amos].6 KB (979 words) - 10:20, 18 May 2022
- | David Terei9 KB (1,319 words) - 13:09, 28 May 2016
- :* [LNPS05] Lane, David M., H. Albert Napier, S. Camille Peres, and Aniko Sandor: Hidden costs of g9 KB (1,449 words) - 23:16, 26 November 2011
- :David King's Haskell port of an Id ray tracer from the Impala suite8 KB (1,206 words) - 19:26, 11 December 2018
- ''Authors: [mailto:capn.freako@gmail.com David Banas]''9 KB (1,341 words) - 13:22, 30 April 2013
- * '''10:00 - 11:00''' Talk by <u>David Luposchainsky: "Haskell QA“</u>: Live Session explaining test frameworks7 KB (1,040 words) - 11:33, 4 August 2017
- ...arl: The Great Escape: Or how to jump the border without getting caught] - David Herman. ...ns/publications/rationals.pdf Enumerating the rationals] - Jeremy Gibbons, David Lester and Richard Bird.20 KB (2,961 words) - 16:50, 6 February 2024
- ...ig/ Meurig Sage], University of Glasgow, [http://www.cs.chalmers.se/~dave/ David Sands], Chalmers University of Technology, [http://www.dcs.gla.ac.uk/~sanso11 KB (1,759 words) - 09:41, 10 August 2022
- * David Leuschner6 KB (915 words) - 10:16, 30 September 2014
- <li><p><em>HAppS-Server 0.9.2</em>. Uploaded by David Himmelstrup. <li><p><em>HAppS-State 0.9.2</em>. Uploaded by David Himmelstrup.76 KB (9,269 words) - 19:17, 15 August 2019
- :David Roundy, FOSDEM, 200611 KB (1,456 words) - 07:05, 7 August 2016
- ...d Madore]'s combinatory logic programming language [http://www.madore.org/~david/programs/unlambda/ Unlambda] A nice argument described in David Madore's [http://www.madore.org/~david/programs/unlambda/ Unlambda] page gives us a continuation-passig style like39 KB (6,148 words) - 00:32, 15 July 2011
- The motivations are described in David Roundy's FOSDEM slides ([http://physics.oregonstate.edu/~roundyd/talks/fosd8 KB (1,374 words) - 14:33, 15 December 2022
- :Koen Claessen and David Sands. ASIAN '99. 1999.9 KB (1,309 words) - 07:48, 18 September 2014
- Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner10 KB (1,648 words) - 22:57, 4 November 2008
- :Colin Runciman and David Wakeling. York University. YCS-92-172. 1992.9 KB (1,252 words) - 05:28, 1 September 2022
- # David Leuschner12 KB (1,813 words) - 12:52, 17 December 2012
- ...c.uk/arch/dlester/exact.html ERA] is an implementation (in Haskell 1.2) by David Lester. :David Amos' library for combinatorics, group theory, commutative algebra and non-21 KB (2,880 words) - 09:43, 4 May 2024