Search results

• News/2007
  <li><p><em>Lazy SmallCheck 0.1</em>. Matthew Naylor <li><p><em>SparseCheck</em>. Matthew Naylor
  78 KB (11,405 words) - 03:19, 11 February 2008
• Yhc/TMR
  Authors: Neil Mitchell, Tom Shackell, Dimitry Golubovsky, Matthew Naylor
  28 KB (4,378 words) - 13:10, 8 April 2007
• Research papers/Type systems
  :Matthew Fluet and Riccardo Pucella. Submitted to the Journal of Functional Programm
  26 KB (3,569 words) - 10:04, 1 September 2022
• The I/O problem
  .../pubs/old/HMjacm85.pdf Algebraic Laws for Nondeterminism and Concurrency], Matthew Hennessy and Robin Milner (first page).</small><!-- 1985 --> ...fk.pdf A Functional I/O System], Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi. <!-- 2009 -->
  61 KB (9,242 words) - 12:00, 24 May 2024
• Old news
  <li><p><em>sessions 2008.2.22</em>. Uploaded by Matthew Sackman.
  76 KB (9,269 words) - 19:17, 15 August 2019

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