3 ms·
If you like this Propositions As Types by Wadler is also an excellent read. In fact, the author cites PTLC: Rosetta. http://m.cacm.acm.org/magazines/2015/12/19
by justinjlynn 10y ago
If you like this Propositions As Types by Wadler is also an excellent read. In fact, the author cites PTLC: Rosetta.
http://m.cacm.acm.org/magazines/2015/12/194626-propositions-as-types/fulltext http://m.cacm.acm.org/magazines/2015/12/194626-propositions-...