A Core Calculus for Scala Type Checking

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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