The Essence of Dependent Object Types

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.


Editeur(s):
Lindley, Sam
McBride, Conor
Trinder, Phil
Sannella, Don
Publié dans:
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, 249-272
Présenté à:
WadlerFest 2016, Edinburgh, UK, April 11-12, 2016
Année
2016
Publisher:
Springer International Publishing
ISBN:
978-3-319-30936-1
Mots-clefs:
Laboratoires:




 Notice créée le 2016-01-22, modifiée le 2018-09-13

Postprint:
Télécharger le documentPDF
Lien externe:
Télécharger le documentURL
Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)