Search results
Jump to navigation
Jump to search
Page title matches
- 148 bytes (19 words) - 15:17, 6 February 2021
- -- Copyright : (c) David Roundy 2007266 bytes (33 words) - 14:41, 7 November 2007
- -- David Beckingsale's xmonad config icons = "/home/david/.icons/"7 KB (764 words) - 15:55, 21 September 2010
Page text matches
- | David Waern | David Himmelstrup1 KB (208 words) - 13:06, 17 December 2012
- ''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
- #redirect [[Xmonad/Config archive/David Roundy's Config.hs]]95 bytes (13 words) - 13:00, 8 June 2023
- | David Himmelstrup | David Waern1,018 bytes (132 words) - 13:11, 17 December 2012
- * David F. Place: [http://www.haskell.org/pipermail/haskell-cafe/2007-October/03354394 bytes (49 words) - 05:35, 23 October 2007
- ;; 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
- ...a link to a blog on translating the book Computational Category Theory by David Rydeheard and Rod Burstall into the Haskell programming language. The main552 bytes (81 words) - 19:30, 16 October 2008
- | David Waern (waern) | David Himmelstrup (Lemmih)2 KB (213 words) - 13:12, 17 December 2012
- -- Copyright : (c) David Roundy 2007266 bytes (33 words) - 14:41, 7 November 2007
- <i>David Terei, Simon Marlow, Simon Peyton Jones, and David Mazières</i>2 KB (349 words) - 13:42, 17 December 2012
- | David Himmelstrup | David Waern2 KB (267 words) - 13:14, 17 December 2012
- == Writing Documentation for Haskell Packages (David, Franz) ==3 KB (381 words) - 14:33, 4 August 2017
- * (group3 '(aldo beat carla david evi flip gary hugo ida)) ( ( (ALDO BEAT) (CARLA DAVID EVI) (FLIP GARY HUGO IDA) )6 KB (890 words) - 05:51, 10 June 2023
- * David »quchen« Luposchainsky646 bytes (83 words) - 13:54, 25 July 2017
- | Benedikt Huber, David Markvica1 KB (143 words) - 12:05, 26 June 2013
- 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 Hanley (david@nospan.netright.com) wrote:4 KB (703 words) - 06:43, 24 January 2006
- | David Himmelstrup | David Fox3 KB (437 words) - 13:07, 17 December 2012
- | David Szákallas || RisingStack967 bytes (160 words) - 11:53, 26 July 2017
- | David Lazar1 KB (181 words) - 16:07, 13 March 2013
- | David Himmelstrup | David Waern4 KB (534 words) - 13:08, 17 December 2012
- # [http://www.linkedin.com/pub/david-banas/1/6ab/a48 David Banas] - ''AMITool'' project lead # [http://www.haskell.org/haskellwiki/AMI_Tool AMITool] - David Banas5 KB (726 words) - 02:28, 22 May 2013
- * David Luposchainsky (TNG Technology Consulting, dluposchainsky(λ)googlesemail, a1 KB (158 words) - 00:18, 17 June 2021
- | waern (David Waern) | Lemmih (David Himmelstrup)4 KB (626 words) - 13:14, 17 December 2012
- | David Luposchainsky AKA quchen || TNG Technology Consulting GmbH | David Leuschner || factis research GmbH4 KB (495 words) - 17:39, 20 July 2016
- * David Himmelstrup, the LHC Haskell Compiler. * David Waern (waern)10 KB (1,387 words) - 13:11, 17 December 2012
- ...build system were contributed or modified by Malcolm Wallace, Jan Sparud, David Wakeling, Colin Runciman, Phil Hassall, Olaf Chitil, and Thomas Nordin, and2 KB (376 words) - 11:44, 12 February 2010
- * [mailto:capn.freako@gmail.com David Banas] - amateur Haskeller ...on breakdown visualization project hosted by [mailto:capn.freako@gmail.com David Banas]6 KB (923 words) - 17:52, 13 June 2014
- * [[:User:doverton|David Overton]] (London, soon to be Melbourne)2 KB (334 words) - 13:04, 3 December 2011
- -- David Beckingsale's xmonad config icons = "/home/david/.icons/"7 KB (764 words) - 15:55, 21 September 2010
- * '''''Fibon -- a new benchmark suite for Haskell''''' (David Peixotto)4 KB (453 words) - 21:53, 1 May 2013
- : David Sankel3 KB (406 words) - 08:08, 27 January 2022
- 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
- | David Leuschner | David Anderson5 KB (504 words) - 18:17, 11 March 2024
- * David Leuschner (factis research GmbH)2 KB (252 words) - 12:47, 23 September 2014
- :David J. King and John O'Donnell's digital circuit simulator2 KB (333 words) - 11:47, 4 November 2014
- | David Himmelstrup || Erudify || Yes || Yes3 KB (422 words) - 09:22, 29 August 2013
- | 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
- <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-20 KB (2,869 words) - 19:00, 22 June 2023
- :Deian Stefan, Alejandro Russo, John Mitchell, and David Mazieres.11 KB (1,480 words) - 16:36, 1 August 2021
- ...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:<blo31 KB (4,662 words) - 08:38, 20 April 2024
- ...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
- | David Johnson12 KB (1,789 words) - 17:49, 26 October 2020
- :David Roundy's combination of a nice DarcsIO-style filesystem interface on the Ha11 KB (1,663 words) - 19:17, 15 August 2019
- <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 Carter - also ignorant and interested; P(attendance) ~ 0.915 KB (2,472 words) - 11:25, 24 August 2007
- <b>Instructor:</b> [mailto:dave@cs.chalmers.se David Sands] <b>Instructor:</b> [mailto:djd@comp.leeds.ac.uk David Duke]40 KB (6,259 words) - 05:49, 6 June 2020
- <li><em>FUSE bindings.</em> David Roundy [http://article.gmane.org/gmane.comp.lang.haskell.cafe/8110 announce27 KB (3,675 words) - 12:12, 13 January 2007
- Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner22 KB (2,644 words) - 21:43, 29 October 2011