1. 6
    Formal Proofs of Tarjan’s Algorithm in Why3, Coq, Isabelle/HOL pdf formalmethods arxiv.org
    praalhans avatar via praalhans 1 month ago | cached | no comments
  2. 3
    Shaping our children's education in computing video education youtube.com
    praalhans avatar via praalhans 2 months ago | cached | no comments
  3. 11
    When Snails Attack: The Epic Discovery Of An Ecological Phenomenon meta blogs.discovermagazine.com
    praalhans avatar via praalhans 3 months ago | cached | 4 comments
  4. 6
    Java Generics are Turing Complete ☶ pdf compilers formalmethods java arxiv.org
    praalhans avatar via praalhans 10 months ago | cached | no comments
  5. 4
    Debugging Church Numerals in Haskell compsci haskell hansdieterhiep.nl
    praalhans avatar authored by praalhans 1 year ago | cached | no comments
  6. 9
    Realising the Benefits of Formal Methods pdf formalmethods anthonyhall.org
    praalhans avatar via praalhans 1 year ago | cached | no comments
  7. 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
  8. 8
    Blockchains Never Forget distributed philosophy ribbonfarm.com
    praalhans avatar via praalhans 1 year ago | cached | 16 comments
  9. 7
    Old graphs from new types compsci haskell blogs.ncl.ac.uk
    praalhans avatar via praalhans 1 year ago | cached | 1 comment
  10. 8
    Distributed Algorithms Visualizer show distributed hansdieterhiep.nl
    praalhans avatar authored by praalhans 1 year ago | cached | 1 comment
  11. 1
    Information Effects ☶ pdf compsci dl.acm.org
    praalhans avatar via praalhans 1 year ago | cached | 1 comment
  12. 7
    Computation and Truth ☶ compsci math fexpr.blogspot.com
    praalhans avatar via praalhans 1 year ago | cached | 7 comments
  13. 2
    Epigrams on Programming (1982) historical pu.inf.uni-tuebingen.de
    praalhans avatar via praalhans 1 year ago | cached | no comments
  14. 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
  15. 5
    On Games and Simulations compsci haskell java math jeroenkeiren.nl
    praalhans avatar authored by praalhans 1 year ago | cached | no comments