1. 11
    When Snails Attack: The Epic Discovery Of An Ecological Phenomenon meta blogs.discovermagazine.com
    praalhans avatar via praalhans 18 days ago | cached | 4 comments
  2. 6
    Java Generics are Turing Complete ☶ pdf compilers formalmethods java arxiv.org
    praalhans avatar via praalhans 7 months ago | cached | no comments
  3. 4
    Debugging Church Numerals in Haskell compsci haskell hansdieterhiep.nl
    praalhans avatar authored by praalhans 9 months ago | cached | no comments
  4. 9
    Realising the Benefits of Formal Methods pdf formalmethods anthonyhall.org
    praalhans avatar via praalhans 11 months ago | cached | no comments
  5. 2
    Physics, Topology, Logic and Computation: A Rosetta Stone pdf compsci math math.ucr.edu
    praalhans avatar via praalhans 1 year ago | cached | no comments
  6. 8
    Blockchains Never Forget distributed philosophy ribbonfarm.com
    praalhans avatar via praalhans 1 year ago | cached | 16 comments
  7. 7
    Old graphs from new types compsci haskell blogs.ncl.ac.uk
    praalhans avatar via praalhans 1 year ago | cached | 1 comment
  8. 8
    Distributed Algorithms Visualizer show distributed hansdieterhiep.nl
    praalhans avatar authored by praalhans 1 year ago | cached | 1 comment
  9. 1
    Information Effects ☶ pdf compsci dl.acm.org
    praalhans avatar via praalhans 1 year ago | cached | 1 comment
  10. 7
    Computation and Truth ☶ compsci math fexpr.blogspot.com
    praalhans avatar via praalhans 1 year ago | cached | 7 comments
  11. 2
    Epigrams on Programming (1982) historical pu.inf.uni-tuebingen.de
    praalhans avatar via praalhans 1 year ago | cached | no comments
  12. 14
    Model Checking: an Introduction to Bisimulation (a tutorial with Haskell examples) compsci haskell hansdieterhiep.nl
    praalhans avatar authored by praalhans 1 year ago | cached | 1 comment
  13. 5
    On Games and Simulations compsci haskell java math jeroenkeiren.nl
    praalhans avatar authored by praalhans 1 year ago | cached | no comments