Changes between Version 11 and Version 12 of Past/2017


Ignore:
Timestamp:
Aug 15, 2017, 2:10:36 AM (7 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2017

    v11 v12  
    1818=== 92: 22nd March ===
    1919
    20 * Tran Ma: Agile Formal Methods for the Aspiring Worker
     20* Tran Ma: [http://code.ouroborus.net/fp-syd/past/2017/2017-03-Ma-Refinement.pdf Agile Formal Methods for the Aspiring Worker]
    2121* Barry Jay: [http://code.ouroborus.net/fp-syd/past/2017/2017-03-Jay-Intensional.pdf A combinatorial account of the intensional lambda calculus]
    2222* Jacob Stanley: Introducing Hedgehog - Integrated Shrinking for Effectful Property Tests