Propositions as Types (2014) [pdf]

[nill0]

Article URL: https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf

Comments URL: https://news.ycombinator.com/item?id=43903945

Points: 54

# Comments: 10