Improving type error messages for generic Java

DOI10.1007/s10990-011-9070-3zbMath1256.68026OpenAlexW2053553588MaRDI QIDQ1929365

Jurriaan Hage, Nabil el Boustani

Publication date: 8 January 2013

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-011-9070-3

zbMATH Keywords

compilerstype checkingerror diagnosisJava generics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items (2)

Improving type error messages for generic Java ⋮ Skalpel: a constraint-based type error slicer for standard ML

Uses Software

• ML
• JastAdd

Cites Work

• Skalpel: a constraint-based type error slicer for standard ML
• A theory of type polymorphism in programming
• JastAdd -- an aspect-oriented compiler construction system.
• Explaining type inference
• Improving type error messages for generic Java
• Explaining Polymorphic Types
• Scripting the type inference process
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Improving type error messages for generic Java