4 ms·
Speaking of which, is there any tutorials on type theory that targets developers instead of mathematicians?
by panpanna 7y ago
Speaking of which, is there any tutorials on type theory that targets developers instead of mathematicians?
- simplify 7y agoHindley-Milner is a solid place to start. Here's an introduction: http://akgupta.ca/blog/2013/05/14/so-you-still-dont-understand-hindley-milner/ http://akgupta.ca/blog/2013/05/14/so-you-still-dont-understa...