Takashi's Notes
Search
Search
Dark mode
Light mode
Explorer
Home
❯
papers
❯
type theory
Folder: papers/type-theory
14 items under this folder.
Nov 15, 2025
A Behavioral Notion Of Subtyping
Nov 15, 2025
On Understanding Types Data Abstraction And Polymorphism
Nov 15, 2025
Programming With Abstract Data Types
Nov 15, 2025
The Essence Of Functional Programming
Nov 15, 2025
Theorems For Free
Nov 15, 2025
Linear Types Can Change The World
Nov 15, 2025
Making The Future Safe For The Past Adding Genericity To The Java Programming Langauge
Nov 15, 2025
Monads For Functional Programming
Nov 15, 2025
Pizza Into Java
Nov 15, 2025
Abstraction Mechanisms In Clu
Nov 15, 2025
Comprehending Monads
Nov 15, 2025
Deforestation Transforming Programs To Eliminate Trees
Nov 15, 2025
How To Make Ad Hoc Polymorhism Less Ad Hoc
Nov 15, 2025
A Theory Of Type Polymorphism In Programming