Efficient inference of object types

DOI10.1006/INCO.1995.1168zbMATH Open0849.68018OpenAlexW4213039069MaRDI QIDQ1908346FDOQ1908346

Jens Palsberg

Publication date: 19 March 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/eefb9ba98c328827191efabbfe6403168fabe975

Recommendations

• scientific article
• scientific article; zbMATH DE number 1256673
• Efficient inference of partial types
• A delegation-based object calculus with subtyping
• Publication:3204026

zbMATH Keywords

object-oriented languages

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (11)

• Type inference for variant object types
• Type inference in stack based languages
• Efficient inference of partial types
• Title not available (Why is that?)
• Type inference for record concatenation and subtyping
• Erratum to ``Efficient inference of object types
• Simplifying subtyping constraints: a theory
• Efficient static checker for tainted variable attacks
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantic types and approximation for Featherweight Java

This page was built for publication: Efficient inference of object types

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