Loading...
conference paper
The Essence of Dependent Object Types
2016
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Focusing on path-dependent types, the paper develops foundations for Scala from first principles. Starting from a simple calculus D-<: of dependent functions, it adds records, intersections and recursion to arrive at DOT, a calculus for dependent object types. The paper shows an encoding of System F with subtyping in D-<: and demonstrates the expressiveness of DOT by modeling a range of Scala constructs in it.
Loading...
Name
paper_1.pdf
Type
Postprint
Access type
openaccess
Size
467.37 KB
Format
Adobe PDF
Checksum (MD5)
1a111e16d10ae49e96b3c9b744021fa6