Search results

Jump to: navigation, search

Page title matches

Page text matches

  • :David Roundy's combination of a nice DarcsIO-style filesystem interface on the Ha
    11 KB (1,663 words) - 19:17, 15 August 2019
  • :David J. King and John O'Donnell's digital circuit simulator
    2 KB (333 words) - 11:47, 4 November 2014
  • ...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-
    20 KB (2,788 words) - 19:24, 15 August 2019
  • :David King's Haskell port of an Id ray tracer from the Impala suite
    8 KB (1,206 words) - 19:26, 11 December 2018
  • Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner
    26 KB (4,095 words) - 23:47, 26 August 2018
  • ...build system were contributed or modified by Malcolm Wallace, Jan Sparud, David Wakeling, Colin Runciman, Phil Hassall, Olaf Chitil, and Thomas Nordin, and
    2 KB (376 words) - 11:44, 12 February 2010
  • * David Waern
    18 KB (2,779 words) - 22:27, 12 June 2017
  • David Hanley (david@nospan.netright.com) wrote:
    4 KB (703 words) - 06:43, 24 January 2006
  • <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,253 words) - 01:06, 29 October 2016
  • <dt>Simon Peyton Jones, David Lester: [http://www.amazon.com/Implementing-Functional-Languages-Prentice-H
    47 KB (6,888 words) - 17:44, 5 March 2019
  • Ignore David, he's pulling your leg. Here's the proper translation: <dons> oh, nice, david roundy is using ion.
    53 KB (8,663 words) - 13:43, 15 November 2012
  • <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
  • <b>Instructor:</b> [mailto:dave@cs.chalmers.se David Sands] <b>Instructor:</b> [mailto:djd@comp.leeds.ac.uk David Duke]
    39 KB (6,049 words) - 14:59, 19 September 2016
  • ...ig/ Meurig Sage], University of Glasgow, [http://www.cs.chalmers.se/~dave/ David Sands], Chalmers University of Technology, [http://www.dcs.gla.ac.uk/~sanso
    11 KB (1,755 words) - 03:19, 10 August 2009
  • : David Sankel
    2 KB (343 words) - 00:42, 2 July 2019
  • ...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 like
    39 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/fosd
    8 KB (1,373 words) - 18:56, 4 April 2019
  • by David Overton
    67 KB (9,591 words) - 23:01, 21 September 2018
  • <li><em>FUSE bindings.</em> David Roundy [http://article.gmane.org/gmane.comp.lang.haskell.cafe/8110 announce
    27 KB (3,675 words) - 12:12, 13 January 2007
  • :Colin Runciman and David Wakeling. York University. YCS-92-172. 1992.
    8 KB (1,088 words) - 21:05, 19 January 2017
  • :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
  • * [[:User:doverton|David Overton]] (London, soon to be Melbourne)
    2 KB (334 words) - 13:04, 3 December 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
  • | [http://hackage.haskell.org/package/containers containers] || David Feuer || [https://github.com/haskell/containers/issues Github] || 3 | [http://hackage.haskell.org/package/pretty pretty] || David Terei || [https://github.com/haskell/pretty/issues Github] || 3
    19 KB (2,988 words) - 02:42, 4 February 2019
  • <li><p><em>cabal-test: automatic testing for Cabal projects</em>. David Himmelstrup </em>. David Waern
    93 KB (13,836 words) - 23:40, 14 August 2019
  • | David Waern | David Himmelstrup
    1 KB (208 words) - 13:06, 17 December 2012
  • * (group3 '(aldo beat carla david evi flip gary hugo ida)) ( ( (ALDO BEAT) (CARLA DAVID EVI) (FLIP GARY HUGO IDA) )
    5 KB (763 words) - 08:41, 8 February 2019
  • From left: Thorkil Naur, Neil Mitchell (ndm), Ketil Malde (kzm), David Waern (waern), Dominic Steinitz, Simon Marlow (JaffaCake), Ben Lippmeier (b ...Stewart (dons), Kirsten Chevalier (Binkley), Lennart Kolmodin (kolmodin), David Himmelstrup (Lemmih).
    3 KB (411 words) - 13:07, 17 December 2012
  • David Turner's ''(SASL Language Manual, 1983)'' formulation replaces non-standard
    45 KB (6,776 words) - 14:36, 19 February 2019
  • * Before I knew about the HaBench project, I (David Peixotto) created the Fibon benchmark suite. Fibon is an effort to create a
    5 KB (697 words) - 16:59, 10 March 2011
  • ;; Author: Andy Hefner <andy.hefner@verizon.net>, <clemens@endorphin.org>, David House <dmhouse@gmail.com> ;; Maintainer: David House <dmhouse@gmail.com>
    3 KB (367 words) - 17:12, 14 December 2007
  • ...: credit for arithmetic functions is due to [http://www.polyomino.f2s.com/ David Amos].
    6 KB (927 words) - 18:36, 9 September 2011
  • ;; Authors: David House <dmhouse@gmail.com>,
    10 KB (1,198 words) - 04:06, 19 September 2010
  • :David Herman. 2007. :Jeremy Gibbons, David Lester and Richard Bird. 2006.
    17 KB (2,413 words) - 09:19, 24 October 2018
  • * David Himmelstrup, lemmih AT gmail.com
    7 KB (1,086 words) - 11:03, 20 July 2011
  • Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner
    10 KB (1,648 words) - 22:57, 4 November 2008
  • 2. David Himmelstrup, Lemmih, HAppS Inc. 19. David Fox (formerly Linspire, now SeeReason.org)
    11 KB (1,506 words) - 09:03, 15 January 2009
  • | David Himmelstrup | David Fox
    3 KB (437 words) - 13:07, 17 December 2012
  • :David Roundy, FOSDEM, 2006
    11 KB (1,456 words) - 07:05, 7 August 2016
  • ; [[/David Beckingsale's xmonad.hs]] (0.9) ;[[/David Roundy's xmonad.hs]] (0.8 +)
    29 KB (4,062 words) - 00:50, 27 January 2018
  • * David F. Place: [http://www.haskell.org/pipermail/haskell-cafe/2007-October/03354
    394 bytes (49 words) - 05:35, 23 October 2007
  • -- Copyright : (c) David Roundy 2007
    266 bytes (33 words) - 14:41, 7 November 2007
  • ...ughes], The Computer Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner (ed.): Research Topics in Functional Programming, Addison-Wesley, :Colin Runciman and David Wakeling (ed.), UCL Press, 1995, ISBN 1-85728-377-5 HB. From the cover:<blo
    30 KB (4,456 words) - 09:00, 25 December 2016
  • ...t Says what it Means]] ([https://wiki.haskell.org/wikiupload/4/4c/Hiw-2015-david-christiansen.pdf slides]) ([https://youtu.be/m7BBCcIDXSg video]) David Raymond Christiansen (IT University of Copenhagen)
    15 KB (2,190 words) - 21:19, 17 February 2016
  • | David Himmelstrup | David Waern
    2 KB (267 words) - 13:14, 17 December 2012
  • | waern (David Waern) | Lemmih (David Himmelstrup)
    4 KB (626 words) - 13:14, 17 December 2012
  • 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
  • A successor to haste, haste2 (primarily developed by David Waern), has also been abandoned; a Darcs repository of it can be found at [
    2 KB (310 words) - 05:54, 10 October 2013
  • <li><p><em>torrent 2007.10.27</em>. Uploaded by David Himmelstrup. <li><p><em>bencode 0.2</em>. Uploaded by David Himmelstrup.
    78 KB (11,405 words) - 03:19, 11 February 2008
  • * David Himmelstrup
    11 KB (1,793 words) - 00:13, 27 March 2011
  • wonderful "Haskell for Maths" library by David Amos, it takes
    9 KB (1,356 words) - 13:14, 1 July 2011
  • ...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 (614 words) - 12:21, 23 May 2017
  • :David F. Place
    4 KB (570 words) - 16:55, 25 August 2011
  • * '''[[HaskellImplementorsWorkshop/2011/Terei|Safe Haskell]]''' (David Terei) - [http://www.haskell.org/wikiupload/e/e1/HIW2011-Talk-Terei.pdf Sli
    4 KB (518 words) - 13:28, 17 December 2012
  • ...a link to a blog on translating the book Computational Category Theory by David Rydeheard and Rod Burstall into the Haskell programming language. The main
    552 bytes (81 words) - 19:30, 16 October 2008
  • | David Himmelstrup | David Waern
    1,018 bytes (132 words) - 13:11, 17 December 2012
  • '''[http://www.davidbann.co.uk/ David Bann], 56-58 St Mary's Street, EH1 1SX, Tel: 0131 556 5888:''' Very good
    31 KB (4,851 words) - 23:30, 4 September 2009
  • * David Himmelstrup, the LHC Haskell Compiler. * David Waern (waern)
    10 KB (1,387 words) - 13:11, 17 December 2012
  • | David Waern | David Himmelstrup
    5 KB (679 words) - 13:13, 17 December 2012
  • * David Luposchainsky (TNG Technology Consulting, dluposchainsky(λ)googlesemail, a
    997 bytes (139 words) - 14:03, 6 May 2016
  • | David Waern (waern) | David Himmelstrup (Lemmih)
    2 KB (213 words) - 13:12, 17 December 2012
  • | David Terei
    9 KB (1,319 words) - 13:09, 28 May 2016
  • In a similar vein, David Place’s article on improving <code>Data.Map</code> in Elliott (conal), Cale Gibbard (Cale), David House, Dan Piponi
    179 KB (29,428 words) - 19:21, 15 August 2019
  • | David Leuschner | David Anderson
    5 KB (504 words) - 12:04, 26 June 2013
  • | Benedikt Huber, David Markvica
    1 KB (143 words) - 12:05, 26 June 2013
  • :* [LNPS05] Lane, David M., H. Albert Napier, S. Camille Peres, and Aniko Sandor: Hidden costs of g
    9 KB (1,449 words) - 23:16, 26 November 2011
  • 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
  • '''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
  • * '''''Fibon -- a new benchmark suite for Haskell''''' (David Peixotto)
    4 KB (453 words) - 21:53, 1 May 2013
  • -- David Beckingsale's xmonad config icons = "/home/david/.icons/"
    7 KB (764 words) - 15:55, 21 September 2010
  • | David Johnson
    18 KB (2,642 words) - 12:39, 2 March 2019
  • | David Himmelstrup
    5 KB (701 words) - 17:43, 8 February 2016
  • Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner
    22 KB (2,644 words) - 21:43, 29 October 2011
  • *[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
  • # David Leuschner
    12 KB (1,813 words) - 12:52, 17 December 2012
  • ''Authors: [mailto:dbanas@banasfamily.net David Banas]''
    4 KB (545 words) - 00:10, 28 June 2011
  • * [[User:DavidLazar | David Lazar]]
    4 KB (570 words) - 18:12, 21 July 2011
  • | David Lazar
    1 KB (181 words) - 16:07, 13 March 2013
  • ''David Terei'' This is work in collaboration with David Mazières, Simon Marlow and Simon Peyton Jones.
    1 KB (168 words) - 13:45, 17 December 2012
  • ''Authors: [mailto:capn.freako@gmail.com David Banas]''
    9 KB (1,341 words) - 13:22, 30 April 2013
  • * [http://www.scs.stanford.edu/~davidt/ David Terei] (Stanford University)
    6 KB (795 words) - 10:36, 19 September 2012

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