Amalgamating sessions and methods in object-oriented languages with generics
- 6 February 2009
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 410 (2-3), 142-167
- https://doi.org/10.1016/j.tcs.2008.09.016
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A type safe state abstraction for coordination in Java-like languagesActa Informatica, 2008
- Type checking a multithreaded functional language with session typesTheoretical Computer Science, 2006
- A Conversation with Steve Ross-TalbotQueue, 2006
- Subtyping for session types in the pi calculusActa Informatica, 2005
- Correspondence assertions for process synchronization in concurrent communicationsJournal of Functional Programming, 2005
- Featherweight JavaACM Transactions on Programming Languages and Systems, 2001
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994