Search results

Page title matches

• Haskell Quiz/The Solitaire Cipher/Solution Matthias
  7 KB (934 words) - 05:48, 21 February 2010
• Haskell Quiz/Secret Santas/Solution Matthias
  4 KB (582 words) - 10:57, 13 January 2007

Page text matches

• Haskell Quiz/Secret Santas
  * [[Haskell Quiz/Secret Santas/Solution Matthias|Matthias]]
  405 bytes (51 words) - 15:24, 28 March 2013
• Haskell Quiz/The Solitaire Cipher
  * [[Haskell Quiz/The Solitaire Cipher/Solution Matthias|Matthias]] (incomplete, but stream generation works)
  1 KB (197 words) - 22:13, 14 December 2009
• ZuriHac2013/Attendees
  | Matthias Hueser || ETH Zurich || Yes || No | Matthias Hueser || ETH Zurich || Yes || No
  3 KB (422 words) - 09:22, 29 August 2013
• HkHac2012
  ...urself in the People section below. If you have questions, please contact Matthias (mail: mf zerobuzz net, phone: +852 9582 5172). * Matthias Fischmann (- - [[User:Mf|Mf]] 11:39, 27 April 2012 (UTC)). Would like to h
  5 KB (766 words) - 13:28, 17 December 2012
• Shootout/Mandelbrot
  -- Based on the SML version, written by Matthias Blume. -- Based on the SML version, written by Matthias Blume.
  10 KB (1,639 words) - 06:42, 15 December 2009
• Hac 2007 II/Attendees
  | Matthias Neubauer
  3 KB (437 words) - 13:07, 17 December 2012
• HacBerlin2014/Participants
  * Matthias Fischmann (zerobuzz.net)
  2 KB (252 words) - 12:47, 23 September 2014
• ZuriHac2015/Attendees
  | Matthias Fischmann ||
  3 KB (436 words) - 10:23, 28 May 2015
• ZuriHac2016/Attendees
  | Matthias Fischmann || well-typed.com
  4 KB (495 words) - 17:39, 20 July 2016
• HaWiki migration
  * Matthias Fischmann
  21 KB (2,417 words) - 23:19, 9 August 2021
• The Monad.Reader/Issue5/Number Param Types
  ...d work]] compares our approach with the phantom type programming in SML by Matthias Blume, with a practical dependent-type system of Hongwei Xi, with staticall ...ion of arrays in SML, which can express such equality of size constraints. Matthias Blume however cautions one not to overstate the usefulness of the approach
  74 KB (11,649 words) - 11:34, 9 August 2012
• CamHac
  # Matthias Görgens
  12 KB (1,813 words) - 12:52, 17 December 2012
• Shootout/Fannkuch
  permutation by Matthias Neubauer, and an ugly flop by Josh and another
  22 KB (3,539 words) - 00:49, 14 December 2016
• The I/O problem
  ...s://www2.ccs.neu.edu/racket/pubs/icfp09-fffk.pdf A Functional I/O System], Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi. <
  61 KB (9,234 words) - 04:14, 5 April 2024
• News/2006
  Matthias Fischmann [http://archive.fo/wgUI3 released]
  93 KB (13,836 words) - 23:40, 14 August 2019