Introductory resources to type theory for language implementers
Lobsters·12 points·rbxbx·over 4 years ago·haskellforall.com
A post touring resources you can use to learn how to implement a type checker or type inference algorithm
Read the full article at haskellforall.com →
#type#resources#introductory#theory#implementers#introductory resources#language implementers#type theory
Related stories
- Hoare Type Theory, Polymorphism and Separationynot.cs.harvard.eduLobsters · 8 points · about 9 years ago
- Geometric Type Theory, Done Two Waystopos.instituteHacker News · 4 points · 6 days ago
- Hacker News · 2 points · 3 days ago
- Hacker News · 2 points · 10 days ago
- CIC + EM ⊢ Con(ZF)arxiv.orgHacker News · 1 points · 8 days ago
- Type Safe Printf via Type Providers (F#)blog.mavnn.co.ukLobsters · 7 points · over 12 years ago