- Parametric types and type operators http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf 11 comments functionalprogramming
- On Understanding Types, Data Abstraction, and Polymorphism http://lucacardelli.name/papers/onunderstanding.a4.pdf 7 comments programming
Linking pages
- Objects in Functional Languages — Infinite Negative Utility https://journal.infinitenegativeutility.com/objects-in-functional-languages 32 comments
- My useless philosophical ramblings about the ecology of programming languages (and OOP is not Java) https://angeloceccato.com/post/philosophical-ramblings-about-ecology-programming-languages-and-OOP-not-java/ 1 comment
- GitHub - antoniogarrote/typed.rb: Gradual type checker for Ruby https://github.com/antoniogarrote/typed.rb 0 comments
- GitHub - stereobooster/programming-languages-genealogical-tree: Programming languages genealogical tree https://github.com/stereobooster/programming-languages-genealogical-tree 0 comments
- F-bounded polymorphism in Scala https://brieuckaisin.hashnode.dev/f-bounded-polymorphism-in-scala 0 comments
- My useless philosophical ramblings about the ecology of programming languages (and OOP is not Java) https://angeloceccato.it/post/philosophical-ramblings-about-ecology-programming-languages-and-OOP-not-java/ 0 comments
Related searches:
Search whole site: site:lucacardelli.name
Search title: Parametric types and type operators
See how to search.