Search results
Jump to navigation
Jump to search
- -- 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
- :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
- * David Himmelstrup11 KB (1,801 words) - 09:22, 23 May 2022
- ...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 Waern18 KB (2,779 words) - 22:27, 12 June 2017
- by David Place. Compile with -O2 -optc-O3.22 KB (3,539 words) - 00:49, 14 December 2016
- ; [[/David Beckingsale's xmonad.hs]] (0.9) ;[[/David Roundy's xmonad.hs]] (0.8 +)29 KB (4,125 words) - 12:46, 15 January 2021
- :David King and Philip Wadler. Glasgow Workshop on Functional Programming, Springe18 KB (2,331 words) - 09:02, 1 September 2022
- -- Andrew Partridge and David Wright. -- Andrew Partridge and David Wright.133 KB (20,540 words) - 08:31, 13 December 2009
- '''[http://www.davidbann.co.uk/ David Bann], 56-58 St Mary's Street, EH1 1SX, Tel: 0131 556 5888:''' Very good31 KB (4,851 words) - 23:30, 4 September 2009
- Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner25 KB (4,131 words) - 04:51, 9 December 2007
- ...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
- Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner26 KB (4,102 words) - 23:54, 29 February 2020
- <li><p><em>cabal-test: automatic testing for Cabal projects</em>. David Himmelstrup </em>. David Waern93 KB (13,836 words) - 23:40, 14 August 2019
- 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
- In a similar vein, David Place’s article on improving <code>Data.Map</code> in Elliott (conal), Cale Gibbard (Cale), David House, Dan Piponi179 KB (29,519 words) - 16:10, 30 December 2022
- David Turner's ''(SASL Language Manual, 1983)'' formulation replaces non-standard58 KB (8,594 words) - 20:34, 6 May 2023
- <dt>Simon Peyton Jones, David Lester: [http://www.amazon.com/Implementing-Functional-Languages-Prentice-H53 KB (7,703 words) - 13:28, 28 March 2024
- by David Overton67 KB (9,593 words) - 05:40, 9 March 2021