A Core Calculus for Scala Type Checking
From MaRDI portal
Publication:5756695
DOI10.1007/11821069_1zbMath1132.68320OpenAlexW1591274473MaRDI QIDQ5756695
Sergueï Lenglet, Martin Odersky, Vincent Cremet, François Garillot
Publication date: 5 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00903812/file/06-Cremet.pdf
Related Items (3)
The Essence of Dependent Object Types ⋮ Path resolution for nested recursive modules ⋮ Search combinators
This page was built for publication: A Core Calculus for Scala Type Checking