Newest Stories by praalhans | Lobsters

6

Java Generics are Turing Complete ☶ pdf compilers formalmethods java arxiv.org
via praalhans 6 months ago | cached | no comments

0
4

Debugging Church Numerals in Haskell compsci haskell hansdieterhiep.nl
authored by praalhans 8 months ago | cached | no comments

0
9

Realising the Benefits of Formal Methods pdf formalmethods anthonyhall.org
via praalhans 10 months ago | cached | no comments

0
2

Physics, Topology, Logic and Computation: A Rosetta Stone pdf compsci math math.ucr.edu
via praalhans 12 months ago | cached | no comments

0
8

Blockchains Never Forget distributed philosophy ribbonfarm.com
via praalhans 1 year ago | cached | 16 comments

16
7

Old graphs from new types compsci haskell blogs.ncl.ac.uk
via praalhans 1 year ago | cached | 1 comment

1
8

Distributed Algorithms Visualizer show distributed hansdieterhiep.nl
authored by praalhans 1 year ago | cached | 1 comment

1
1

Information Effects ☶ pdf compsci dl.acm.org
via praalhans 1 year ago | cached | 1 comment

1
7

Computation and Truth ☶ compsci math fexpr.blogspot.com
via praalhans 1 year ago | cached | 7 comments

7
2

Epigrams on Programming (1982) historical pu.inf.uni-tuebingen.de
via praalhans 1 year ago | cached | no comments

0
14

Model Checking: an Introduction to Bisimulation (a tutorial with Haskell examples) compsci haskell hansdieterhiep.nl
authored by praalhans 1 year ago | cached | 1 comment

1
5

On Games and Simulations compsci haskell java math jeroenkeiren.nl
authored by praalhans 1 year ago | cached | no comments

0