3 ms·
I love Wadler's papers. He did one on Monads that was approachable and revealing for me. I also love logic and the predicate calculus. Highly recommend reading
by agentultra 10y ago
I love Wadler's papers. He did one on Monads that was approachable and revealing for me. I also love logic and the predicate calculus.
Highly recommend reading this one. :)
- michaelsbradley 10y agoWhich paper?
- agentultra 10y agohttp://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/ba...
- dualogy 10y agoSome of his conference talks can be found on YT too, recommended