An Implementation of Session Types
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Science and Business Media LLC ,2006
- Getting Erlang to talk to the outside worldPublished by Association for Computing Machinery (ACM) ,2002
- A lightweight implementation of generics and dynamicsPublished by Association for Computing Machinery (ACM) ,2002
- Typing dynamic typingPublished by Association for Computing Machinery (ACM) ,2002
- Normalization by evaluation with typed abstract syntaxJournal of Functional Programming, 2001
- Type and Effect SystemsPublished by World Scientific Pub Co Pte Ltd ,1999
- Types and Subtypes for Client-Server InteractionsLecture Notes in Computer Science, 1999
- The reflexive CHAM and the join-calculusPublished by Association for Computing Machinery (ACM) ,1996
- The chemical abstract machineTheoretical Computer Science, 1992
- FACILE: A symmetric integration of concurrent and functional programmingLecture Notes in Computer Science, 1989