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$$g164625$$aAmin, Nada
000215280 700__ $$0(EPFLAUTH)201600$$g201600$$aGrütter, Karl Samuel
000215280 700__ $$0241835$$g126003$$aOdersky, Martin
000215280 700__ $$0243345$$g185682$$aRompf, Tiark
000215280 700__ $$0246677$$g152185$$aStucki, Sandro
000215280 7112_ $$dApril 11-12, 2016$$cEdinburgh, UK$$aWadlerFest 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__ $$tA List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday$$q249-272
000215280 8564_ $$uhttp://wadlerfest.namin.net/$$zURL
000215280 8564_ $$uhttps://infoscience.epfl.ch/record/215280/files/paper_1.pdf$$zPostprint$$s478583$$yPostprint
000215280 909C0 $$xU10409$$0252187$$pLAMP
000215280 909CO $$ooai:infoscience.tind.io:215280$$qGLOBAL_SET$$pconf$$pIC
000215280 917Z8 $$x152185
000215280 917Z8 $$x152185
000215280 917Z8 $$x152185
000215280 937__ $$aEPFL-CONF-215280
000215280 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000215280 980__ $$aCONF