An interoperable calculus for external object access

DOI10.1145/581478.581485MaRDI QIDQ2949193zbMATH OpenOpenAlexFDO

Authors Kiyoshi Yamatodani, Atsushi Ohori

Publication date 7 October 2015

Published in Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/581478.581485

zbMATH Keywords

interoperabilityJavaMLobject-oriented languagerecord polymorphismtype inference

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Typed interpretations of extensible objects
• scientific article; zbMATH DE number 1330431
• scientific article; zbMATH DE number 4080882
• An imperative object calculus
• A record calculus with principal types

Cited in

(2)

• The External Interface for Extending WASP
• Implementation of Functional Languages

This page was built for publication: An interoperable calculus for external object access

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2949193)