[link] Reading List For Programming Language and Type Algebra

haskell,programminglanguage,quickcheck,typetheory

25 Jul 2014

  1. Hoopl: Dataflow Optimization Made Simple

    Norman Ramsey, Joao Dias, Simon Peyton Jones

  2. What the Heck are Algebraic Data Types? (for Programmers)

    Daniel Eklund

  3. The Algebra of Algebraic Data Types

    Chris Taylor

  4. Why Functional Programming Matters

    John Hughes

  5. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs

    Koen Claessen, John Hughes

  6. Coq tutorial Program verification using Coq

    Jean-Christophe Filliatre

comments powered by Disqus
thadz.github.io