Session Types as Generic Process Types (2008)
Attributed to:
Behavioural Types for Object-Oriented Languages
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract