Search results

• Hac 2007/Attendees
  | David Himmelstrup | David Waern
  4 KB (534 words) - 13:08, 17 December 2012
• BayHac2013
  # [http://www.linkedin.com/pub/david-banas/1/6ab/a48 David Banas] - ''AMITool'' project lead # [http://www.haskell.org/haskellwiki/AMI_Tool AMITool] - David Banas
  5 KB (726 words) - 02:28, 22 May 2013
• Language/HaskellPrime
  * David Luposchainsky (TNG Technology Consulting, dluposchainsky(λ)googlesemail, a
  1 KB (158 words) - 00:18, 17 June 2021
• Hac4/Projects
  | waern (David Waern) | Lemmih (David Himmelstrup)
  4 KB (626 words) - 13:14, 17 December 2012
• ZuriHac2016/Attendees
  | David Luposchainsky AKA quchen || TNG Technology Consulting GmbH | David Leuschner || factis research GmbH
  4 KB (495 words) - 17:39, 20 July 2016
• Hac5/Projects
  * David Himmelstrup, the LHC Haskell Compiler. * David Waern (waern)
  10 KB (1,387 words) - 13:11, 17 December 2012
• Yhc/Introduction
  ...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
• BayHac2014
  * [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
• OzHaskell
  * [[:User:doverton|David Overton]] (London, soon to be Melbourne)
  2 KB (334 words) - 13:04, 3 December 2011
• Xmonad/Config archive/David Beckingsale's xmonad.hs
  -- David Beckingsale's xmonad config icons = "/home/david/.icons/"
  7 KB (764 words) - 15:55, 21 September 2010
• HaskellImplementorsWorkshop/2010
  * '''''Fibon -- a new benchmark suite for Haskell''''' (David Peixotto)
  4 KB (453 words) - 21:53, 1 May 2013
• Consultants
  : David Sankel
  3 KB (406 words) - 08:08, 27 January 2022
• Haste
  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
• ZuriHac2010/Attendees
  | David Leuschner | David Anderson
  5 KB (504 words) - 18:17, 11 March 2024
• HacBerlin2014/Participants
  * David Leuschner (factis research GmbH)
  2 KB (252 words) - 12:47, 23 September 2014
• Applications and libraries/Hardware verification
  :David J. King and John O'Donnell's digital circuit simulator
  2 KB (333 words) - 11:47, 4 November 2014
• ZuriHac2013/Attendees
  | David Himmelstrup || Erudify || Yes || Yes
  3 KB (422 words) - 09:22, 29 August 2013
• Hac5/Attendees
  | David Waern | David Himmelstrup
  5 KB (679 words) - 18:16, 11 March 2024
• HacPDX-II
  * [[User:DavidLazar | David Lazar]]
  4 KB (570 words) - 18:12, 21 July 2011
• HaskellImplementorsWorkshop/2012/Call for Talks
  * David Terei (Stanford University)
  4 KB (543 words) - 13:44, 17 December 2012
• HaskellImplementorsWorkshop/2011
  * '''[[HaskellImplementorsWorkshop/2011/Terei|Safe Haskell]]''' (David Terei) - [http://www.haskell.org/wikiupload/e/e1/HIW2011-Talk-Terei.pdf Sli
  4 KB (513 words) - 02:57, 25 July 2021
• AusHac2010
  '''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
• Haskell.org
  | waern || [[user:Waern| David Waern]] || Haddock website
  4 KB (572 words) - 14:23, 27 June 2009
• Random Processes
  ''Authors: [mailto:dbanas@banasfamily.net David Banas]''
  4 KB (545 words) - 00:10, 28 June 2011
• Zipper monad
  ...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
• ZuriHac2015/Attendees
  | David Luposchainsky || TNG Technology Consulting
  3 KB (436 words) - 10:23, 28 May 2015
• HaBench
  * 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
• Hac 2007 II
  2. David Himmelstrup, Lemmih, HAppS Inc. 19. David Fox (formerly Linspire, now SeeReason.org)
  11 KB (1,506 words) - 09:03, 15 January 2009
• ZuriHac2016
  | 5pm || || ''David Luposchainsky'', '''Low-level Haskell: an interactive tour through the STG' === David Luposchainsky ===
  13 KB (1,982 words) - 10:32, 8 September 2016
• Category theory
  ...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,379 words) - 04:11, 14 February 2023
• Euler problems/171 to 180
  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
• BayHac2012
  Deian Stefan, Amit Levy, David Mazieres
  4 KB (706 words) - 12:51, 17 December 2012
• Research papers/Program development
  :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
• ZuriHac2014/Projects
  * David Wagner * David Wagner
  10 KB (1,601 words) - 10:27, 27 October 2014
• HaskellImplementorsWorkshop/2012
  * [http://www.scs.stanford.edu/~davidt/ David Terei] (Stanford University)
  6 KB (790 words) - 03:05, 25 July 2021
• Turing machine
  * 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
• The Monad.Reader/Previous issues
  :David F. Place
  4 KB (570 words) - 16:55, 25 August 2011
• Haskell in practice
  <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
• Darcs
  ...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) - 15:20, 6 February 2021
• Cxx foreign function interface
  ...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 (618 words) - 22:55, 11 July 2021
• Euler problems/191 to 200
  wonderful "Haskell for Maths" library by David Amos, it takes
  9 KB (1,356 words) - 13:14, 1 July 2011
• Research papers/Authors
  *[http://www.cs.chalmers.se/~dave/ David Sands]
  8 KB (1,251 words) - 05:43, 1 September 2022
• Web/Databases and Persistence
  | David Himmelstrup
  5 KB (701 words) - 02:22, 26 April 2021
• Continuation
  ...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
  10 KB (1,560 words) - 12:02, 15 April 2024
• HaWiki migration
  * David Himmelstrup (Lemmih)
  21 KB (2,417 words) - 23:19, 9 August 2021
• ZuriHac2010/Projects
  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
• Hpaste.el
  ;; Authors: David House <dmhouse@gmail.com>,
  10 KB (1,198 words) - 04:06, 19 September 2010
• Research papers/Data structures
  :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
• AngloHaskell/2006
  * David Himmelstrup, lemmih AT gmail.com
  7 KB (1,086 words) - 11:03, 20 July 2011
• HWN/es/2006-10-19
  * M. David Peterson: Con la ayuda de nuestros amigables ex-profesores locales y entusi
  8 KB (1,191 words) - 01:56, 21 October 2006
• Shootout/SumFile
  -- Mirko Rahn, Chris Kuklewicz and David Himmelstrup -- Mirko Rahn, Chris Kuklewicz and David Himmelstrup
  20 KB (3,239 words) - 02:07, 26 April 2021
• Google summer of code
  *[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
• Euler problems/61 to 70
  ...: credit for arithmetic functions is due to [http://www.polyomino.f2s.com/ David Amos].
  6 KB (979 words) - 10:20, 18 May 2022
• IPhone
  | David Terei
  9 KB (1,319 words) - 13:09, 28 May 2016
• Bluetile/Development
  :* [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
• Applications and libraries/Graphics
  :David King's Haskell port of an Id ray tracer from the Impala suite
  8 KB (1,206 words) - 19:26, 11 December 2018
• AMI Tool
  ''Authors: [mailto:capn.freako@gmail.com David Banas]''
  9 KB (1,341 words) - 13:22, 30 April 2013
• HacFreiburg2017
  * '''10:00 - 11:00''' Talk by <u>David Luposchainsky: "Haskell QA“</u>: Live Session explaining test frameworks
  7 KB (1,040 words) - 11:33, 4 August 2017
• Research papers/Functional pearls
  ...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
• Links
  ...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,759 words) - 09:41, 10 August 2022
• HacBerlin2014
  * David Leuschner
  6 KB (915 words) - 10:16, 30 September 2014
• Old news
  <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
• Video presentations
  :David Roundy, FOSDEM, 2006
  11 KB (1,456 words) - 07:05, 7 August 2016
• Combinatory logic
  ...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
• Generalised algebraic datatype
  The motivations are described in David Roundy's FOSDEM slides ([http://physics.oregonstate.edu/~roundyd/talks/fosd
  8 KB (1,374 words) - 14:33, 15 December 2022
• Research papers/Domain specific languages
  :Koen Claessen and David Sands. ASIAN '99. 1999.
  9 KB (1,309 words) - 07:48, 18 September 2014
• Pt/Introdução
  Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner
  10 KB (1,648 words) - 22:57, 4 November 2008
• Research papers/Runtime systems
  :Colin Runciman and David Wakeling. York University. YCS-92-172. 1992.
  9 KB (1,252 words) - 05:28, 1 September 2022
• CamHac
  # David Leuschner
  12 KB (1,813 words) - 12:52, 17 December 2012
• Applications and libraries/Mathematics
  ...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
• Research papers/Testing and correctness
  :Deian Stefan, Alejandro Russo, John Mitchell, and David Mazieres.
  11 KB (1,480 words) - 16:36, 1 August 2021
• Recursive function theory
  ...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
• Tutorials
  ...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
  35 KB (5,188 words) - 09:24, 17 April 2024
• Web/Frameworks
  | David Johnson
  12 KB (1,789 words) - 17:49, 26 October 2020
• Applications and libraries/Operating system
  :David Roundy's combination of a nice DarcsIO-style filesystem interface on the Ha
  11 KB (1,663 words) - 19:17, 15 August 2019
• News/2007
  <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
• AngloHaskell/2007
  * David Carter - also ignorant and interested; P(attendance) ~ 0.9
  15 KB (2,472 words) - 11:25, 24 August 2007
• Haskell in education
  <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
• News/2005
  <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
• Cn/Introduction
  Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner
  22 KB (2,644 words) - 21:43, 29 October 2011
• AngloHaskell/2008
  * David Himmelstrup
  11 KB (1,801 words) - 09:22, 23 May 2022
• HaskellImplementorsWorkshop/2015
  ...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
• Hoogle
  * David Waern
  18 KB (2,779 words) - 22:27, 12 June 2017
• Shootout/Fannkuch
  by David Place. Compile with -O2 -optc-O3.
  22 KB (3,539 words) - 00:49, 14 December 2016
• Xmonad/Config archive
  ; [[/David Beckingsale's xmonad.hs]] (0.9) ;[[/David Roundy's xmonad.hs]] (0.8 +)
  29 KB (4,125 words) - 12:46, 15 January 2021
• Research papers/Monads and arrows
  :David King and Philip Wadler. Glasgow Workshop on Functional Programming, Springe
  18 KB (2,331 words) - 09:02, 1 September 2022
• Shootout/Regex DNA
  -- Andrew Partridge and David Wright. -- Andrew Partridge and David Wright.
  133 KB (20,540 words) - 08:31, 13 December 2009
• ICFP 2009 Local Arrangements
  '''[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
• Es/Introduccion
  Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner
  25 KB (4,131 words) - 04:51, 9 December 2007
• The I/O problem
  ...cussion.pdf Functional Programs as Executable Specifications: Discussion], David A. Turner (page 17 of 27).</small><!-- 1984 --> ...&type=pdf Realising nondeterministic I/O in the Glasgow Haskell Compiler], David Sabel (page 37 of 39).</small><!-- 2003 -->
  61 KB (9,234 words) - 04:14, 5 April 2024
• Introduction
  Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner
  26 KB (4,102 words) - 23:54, 29 February 2020
• News/2006
  <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
• QuotesPage
  Ignore David, he's pulling your leg. Here's the proper translation: <dons> oh, nice, david roundy is using ion.
  55 KB (8,884 words) - 01:18, 10 November 2022
• Typeclassopedia
  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,519 words) - 16:10, 30 December 2022
• Prime numbers
  David Turner's ''(SASL Language Manual, 1983)'' formulation replaces non-standard
  58 KB (8,594 words) - 20:34, 6 May 2023
• Books
  <dt>Simon Peyton Jones, David Lester: [http://www.amazon.com/Implementing-Functional-Languages-Prentice-H
  53 KB (7,703 words) - 13:28, 28 March 2024
• Sudoku
  by David Overton
  67 KB (9,593 words) - 05:40, 9 March 2021

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