- Linear Logic
- Gradual Typing for Functional Languages
- Soft Typing
- Linear Types Can Change The World!
- Separation Logic and Abstraction
- Separation Logic, Abstraction and Inheritance
- An Object-Oriented Effects System
- A Type System for Borrowing Permissions
- A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language
- Promises: Limited Specifications for Analysis and Manipulation
- Gradual Typing for Objects
- Capabilities for Uniqueness and Borrowing
- A Verified Compiler for an Impure Functional Language
- Data groups: Specifying the modification of extended state
- Separation and Information Hiding
- Separation Logic: A Logic for SharedMutable Data Structures
- Modular Typestate Checking of Aliased Objects
manjunath5496 / research-papers-on-programming-languages Goto Github PK
View Code? Open in Web Editor NEW"Programming went back to the beginning of time. It was a little like the midden out back of his father's castle." ― Vernor Vinge