743 search results - page 7 / 149 » A Calculus of Gamma Programs |
GPCE
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
BIRTHDAY
2000
Springer
13 years 12 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
GPCE
2008
Springer
13 years 8 months ago
2008
Springer
POPL
2003
ACM
14 years 8 months ago
2003
ACM
POPL
2003
ACM
14 years 8 months ago
2003
ACM
