Linear Type Systems for Communication
Download:
|
|
by Tom Murphy Vii
http://www-2.cs.cmu.edu/~tom7/papers/linear.ps.gz
Add To MetaCart
Abstract:
Enhancing the type system of a programming language brings benefits on many fronts. We define and explore a simple concurrent functional language in a linear typing discipline, showing how more powerful types can lead to more controlled interaction between threads. 1
Citations
| 119 | Linearity and the pi-calculus – Kobayashi, Pierce, et al. - 1996 |
| 113 | Communicating and Mobile Systems: the Pi-Calculus – Milner - 1999 |
| 101 | types can change the world – Linear - 1990 |
| 14 | Programming languages: Theory and practice – HARPER - 2002 |
