Principal typings for Java-like languages

DOI10.1145/964001.964027MaRDI QIDQ3452269zbMATH OpenOpenAlexFDO

Authors Davide Ancona, Elena Zucca

Publication date 11 November 2015

Published in Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

Java-like languagesprincipal typingsselective recompilation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2086682
• scientific article; zbMATH DE number 2089402
• Functional type assignment for Featherweight Java. To Rinus Plasmeijer, in honour of his 61st birthday
• Polymorphic bytecode
• A modular, polyvariant and type-based closure analysis

Cited in

(10)

• Reconciling method overloading and dynamically typed scripting languages
• Practical Optional Types for Clojure
• Representing Java classes in a typed intermediate language
• Type Safety for FJ and FGJ
• Type Inference by Coinductive Logic Programming
• Java generics are Turing complete
• Functional type assignment for Featherweight Java. To Rinus Plasmeijer, in honour of his 61st birthday
• Java SAM typed closures: a sound and complete type inference system for nominal types
• Immutable Objects for a Java-Like Language
• Towards a smart compilation manager for Java (extended abstract)

This page was built for publication: Principal typings for Java-like languages

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