Principal typings for Java-like languages

DOI10.1145/964001.964027zbMATH Open1325.68051OpenAlexW2086860619MaRDI QIDQ3452269FDOQ3452269

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

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

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)

Cited In (10)

• Type Safety for FJ and FGJ
• Java generics are Turing complete
• Practical Optional Types for Clojure
• 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
• Reconciling method overloading and dynamically typed scripting languages
• Towards a smart compilation manager for Java (extended abstract)
• Representing Java classes in a typed intermediate language
• Immutable Objects for a Java-Like Language
• Type Inference by Coinductive Logic Programming

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)