A typing system for a calculus of objects
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 460-474
- https://doi.org/10.1007/3-540-57342-9_89
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Nature ,2006
- Principal typing schemes in a polyadic π-calculusPublished by Springer Nature ,1993
- Types for dyadic interactionPublished by Springer Nature ,1993
- A compilation method for ML-style polymorphic record calculiPublished by Association for Computing Machinery (ACM) ,1992
- A Simple Algorithm and Proof for Type Inference1Fundamenta Informaticae, 1987
- Viewing control structures as patterns of passing messagesArtificial Intelligence, 1977