Search results

• 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-
  21 KB (2,880 words) - 09:43, 4 May 2024

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