A typing system for a calculus of objects
- 1 January 1993
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 460-474
- https://doi.org/10.1007/3-540-57342-9_89
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Science and Business Media LLC ,2006
- Principal typing schemes in a polyadic π-calculusLecture Notes in Computer Science, 1993
- Types for dyadic interactionLecture Notes in Computer Science, 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