Session Types for Object-Oriented Languages
No abstract available.
Related papers
- Modular session types for distributed object-oriented programming POPL 2010
- Managing Object Oriented Projects - Panel Session OOPSLA 1995
- Linear type theory for asynchronous session types JFP 2010
- Objects on the Server: Are We Ready? (Panel Session) OOPSLA 1996
- Combining Language and Database Advances in an Object-Oriented Development Environment OOPSLA 1987
- Objects and Domain Engineering - Panel Session OOPSLA 1995
- OO Anthropology: Crossing the Chasm (Panel Session) OOPSLA 1996
- Chaperone contracts for higher-order sessions ICFP 2017