Principal typings for Java-like languages
From MaRDI portal
Publication:3452269
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
Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (7)
- Type Safety for FJ and FGJ
- Practical Optional Types for Clojure
- 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)