000215280 001__ 215280
000215280 005__ 20190317000357.0
000215280 020__ $$a978-3-319-30936-1
000215280 0247_ $$2doi$$a10.1007/978-3-319-30936-1_14
000215280 037__ $$aCONF
000215280 245__ $$aThe Essence of Dependent Object Types
000215280 269__ $$a2016
000215280 260__ $$bSpringer International Publishing$$c2016
000215280 336__ $$aConference Papers
000215280 490__ $$aLecture Notes in Computer Science$$v9600
000215280 520__ $$aFocusing 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.
000215280 6531_ $$aCalculus
000215280 6531_ $$aDependent Types
000215280 6531_ $$aScala
000215280 700__ $$0246589$$aAmin, Nada$$g164625
000215280 700__ $$0(EPFLAUTH)201600$$aGrütter, Karl Samuel$$g201600
000215280 700__ $$0241835$$aOdersky, Martin$$g126003
000215280 700__ $$0243345$$aRompf, Tiark$$g185682
000215280 700__ $$0246677$$aStucki, Sandro$$g152185
000215280 7112_ $$aWadlerFest 2016$$cEdinburgh, UK$$dApril 11-12, 2016
000215280 720_1 $$aLindley, Sam$$eed.
000215280 720_1 $$aMcBride, Conor$$eed.
000215280 720_1 $$aTrinder, Phil$$eed.
000215280 720_1 $$aSannella, Don$$eed.
000215280 773__ $$q249-272$$tA List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
000215280 8564_ $$uhttp://wadlerfest.namin.net/$$zURL
000215280 8564_ $$s478583$$uhttps://infoscience.epfl.ch/record/215280/files/paper_1.pdf$$yPostprint$$zPostprint
000215280 909C0 $$0252187$$pLAMP$$xU10409
000215280 909CO $$ooai:infoscience.tind.io:215280$$pconf$$pIC$$qGLOBAL_SET
000215280 917Z8 $$x152185
000215280 917Z8 $$x152185
000215280 917Z8 $$x152185
000215280 937__ $$aEPFL-CONF-215280
000215280 973__ $$aEPFL$$rREVIEWED$$sPUBLISHED
000215280 980__ $$aCONF