Live data from Hacker News

Typeful Programming (1993) [pdf]

lucacardelli.name

Post reply on HN

Print view View original

1–4 of 4 posts

Typeful Programming (1993) [pdf]

Post by tpush » Thu, Jan 10, 2019, 9:09 AM UTC

Typeful Programming (1993) [pdf]
lucacardelli.name

Re: Typeful Programming (1993) [pdf]

Post by tincholio » Fri, Jan 11, 2019, 6:13 AM UTC

As a side note, if you don't know Luca Cardelli, I encourage you to take a look at the stuff he's done. He's a brilliant researcher, and a true polymath, having made significant contributions on many fields...

Re: Typeful Programming (1993) [pdf]

Post by yesenadam » Fri, Jan 11, 2019, 7:14 AM UTC

tincholio wrote: post #2

As a side note, if you don't know Luca Cardelli, I encourage you to take a look at the stuff he's done. He's a brilliant researcher, and a true polymath, having made significant contributions on many fields...

Thank you, you're not wrong! His recent stuff with molecular programming etc etc looks fascinating.

http://lucacardelli.name/index.html

Re: Typeful Programming (1993) [pdf]

Post by johnNash04 » Wed, Jan 23, 2019, 1:26 AM UTC

Download it using PDF Converter: https://www.coolutils.com/TotalPDFConverter

Post reply on HN