A Core Calculus for Scala Type Checking

DOI10.1007/11821069_1MaRDI QIDQ5756695zbMATH OpenOpenAlexFDO

Authors Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky

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)

Recommendations

• A semantics for type checking
• Scallina: translating verified programs from Coq to Scala
• An expressive, scalable type theory for certified code
• A new type-checker for a functional language
• A typed context calculus
• scientific article; zbMATH DE number 1377610
• Publication:4941922
• Type Inference of Simple Recursive Functions in Scala

Cited in

(5)

• Path resolution for nested recursive modules
• Fighting bit rot with types (Experience report: Scala collections)
• The essence of dependent object types
• Search combinators
• Scala to the Power of Z3: Integrating SMT and Programming

This page was built for publication: A Core Calculus for Scala Type Checking

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