Hacker News new | comments | ask | show | jobs | submit login
Typeful Programming (1993) [pdf] (lucacardelli.name)
44 points by tpush 7 days ago | hide | past | web | favorite | 2 comments





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




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: