A core calculus for Scala type checking

A core calculus for Scala type checking (2006)

Cached

Download Links

Other Repositories/Bibliography

DBLP

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

Venue:	IN PROCEEDINGS OF THE 31ST INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, SPRINGER LNCS
Citations:	11 - 1 self

BibTeX

@INPROCEEDINGS{Cremet06acore,
    author = {Vincent Cremet and François Garillot and Sergueï Lenglet and Martin Odersky},
    title = {A core calculus for Scala type checking},
    booktitle = {IN PROCEEDINGS OF THE 31ST INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, SPRINGER LNCS},
    year = {2006},
    pages = {1--23},
    publisher = {Springer}
}

Bookmark

OpenURL

Abstract

We present a minimal core calculus that captures interesting constructs of the Scala programming language: nested classes, abstract types, mixin composition, and path dependent types. We show that the problems of type assignment and subtyping in this calculus are decidable.

Citations

466	Featherweight Java: a minimal core calculus for Java and GJ - Igarashi, Pierce, et al. - 2001
251	A type-theoretic approach to higher-order modules - Harper, Lillibridge - 1994
150	Local type inference - Pierce, Turner
138	The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance - Bracha - 1992
100	A calculus of module systems - Ancona, Zucca
99	Bounded quantification is undecidable - Pierce - 1992
88	Family polymorphism - Ernst - 2001
86	Modularity meets inheritance - Bracha, Lindstrom - 1992
84	A nominal theory of objects with dependent types - Odersky, Cremet, et al. - 2003
79	What is a recursive module - Crary, Harper, et al. - 1999
69	A Statically Safe Alternative to Virtual Types - Bruce, Odersky, et al. - 1998
62	Mixin modules in a call-by-value setting - Hirschowitz, Leroy
62	Scalable component abstractions - Odersky, Zenger - 2005
61	gbeta – a language with virtual attributes, block structure, and propagating, dynamic inheritance - Ernst - 1999
53	A syntactic theory of type generativity and sharing - Leroy - 1996
53	Colored local type inference - Odersky, Zenger, et al. - 2001
52	Scalable Extensibility via Nested Inheritance - Nystrom, Chong, et al. - 2004
38	A virtual class calculus - Ernst, Ostermann, et al. - 2006
38	N.: Adding wildcards to the Java programming language - Torgersen, Hansen, et al. - 2004
32	Code reuse through polymorphic variants - Garrigue - 2000
32	Independently extensible solutions to the expression problem - Odersky, Zenger - 2005
32	Virtual types are statically safe - Torgersen - 1998
28	On inner classes - Igarashi, Pierce - 1999
23	Foundations for virtual types - Igarashi, Pierce - 1999
23	The Expression Problem Revisited – Four New Solutions Using Generics - Torgersen
18	Some challenging typing issues in object-oriented languages - Bruce
9	Simple Dependent Types: Concord - Jolly, Drossopoulou, et al. - 2004
4	Recursive Object-Oriented Modules - Nakata, Ito, et al. - 2005
3	A Typed Intermediate Language and Algorithms for Compiling Scala by Successive Rewritings - Altherr - 2006
3	Inner Classes and Virtual Types. EPFL - Altherr, Cremet - 2005
3	Type inference for Java 5: Wildcards, F-bounds, and undecidability. http://www.cis.upenn.edu/~stevez/note.html - Zdancewic - 2006
2	On the (un)reality of virtual types. available from http://pauillac.inria.fr/remy/work/virtual - Rémy, Vuillon - 2000
1	Foundations for Scala: Semantics and Proof of Virtual Types - Cremet - 2006