Typed concurrent objects
- 16 May 2006
- book chapter
- Published by Springer Nature
- p. 100-117
- https://doi.org/10.1007/bfb0052178
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Nature ,2006
- Predicative polymorphism in π-calculusPublished by Springer Nature ,1994
- A theory of primitive objectsPublished by Springer Nature ,1994
- Principal typing schemes in a polyadic π-calculusPublished by Springer Nature ,1993
- A typing system for a calculus of objectsPublished by Springer Nature ,1993
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- Towards an object calculusPublished by Springer Nature ,1992
- A compilation method for ML-style polymorphic record calculiPublished by Association for Computing Machinery (ACM) ,1992
- Miranda: A non-strict functional language with polymorphic typesLecture Notes in Computer Science, 1985
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982