3 ms·
Is there a good resource (a review paper maybe?) to get an overview over such programming language / type system topics?
by codethief 4y ago
Is there a good resource (a review paper maybe?) to get an overview over such programming language / type system topics?
- Yoric 4y agoI can't think of any from the top of my head. Perhaps looking at the proceedings of ICFP and POPL can help?