Efficient inference of object types

DOI10.1006/inco.1995.1168zbMath0849.68018OpenAlexW4213039069MaRDI QIDQ1908346

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

zbMATH Keywords

object-oriented languages

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (5)

Type inference for record concatenation and subtyping ⋮ Efficient static checker for tainted variable attacks ⋮ Semantic types and approximation for Featherweight Java ⋮ Simplifying subtyping constraints: a theory ⋮ Type inference for variant object types

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