hnrss.org

Propositions as Types (2014) [pdf]

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: 18 # Comments: 0

Mai 6, 2025 - 13:41
 0

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: 18

# Comments: 0

Lire plus

Tags :

Article précédent

OpenAI agrees to buy Windsurf for about $3B

Article suivant

Getting things “done” in large tech companies

Articles similaires

Judge Rules Apple Executive Lied Under Oath, Makes Criminal Contempt Referral

Judge Rules Apple Executive Lied Under Oath, Makes Crim...

Mai 1, 2025  0

How to program a text adventure in C

Avr 27, 2025  0

The Totalitarian Buddhist Who Beat SIM City (2010)

The Totalitarian Buddhist Who Beat SIM City (2010)

Mai 2, 2025  0