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.
Type
conference paper
Editors
Lindley, Sam
•
McBride, Conor
•
Trinder, Phil
•
Sannella, Don
Date Issued
2016
Publisher
Published in
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
ISBN of the book
978-3-319-30936-1
Series title/Series vol.
Lecture Notes in Computer Science; 9600
Start page
249
End page
272
Subjects
URL
Editorial or Peer reviewed
REVIEWED
Written at
EPFL
EPFL units
| Event name | Event place | Event date |
Edinburgh, UK | April 11-12, 2016 | |
Available on Infoscience
January 22, 2016
Use this identifier to reference this record