about:papers

Various interesting papers and documents.

Name Size
..
shell
Type Systems - Luca Cardelli.pdf 286.6Ko
What we talk about when we talk about monads - Tomas Petricek - 2017.pdf 0.92Mo