{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:22Z","timestamp":1775054362650,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,15]],"date-time":"2014-10-15T00:00:00Z","timestamp":1413331200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["587327 DOPPLER"],"award-info":[{"award-number":["587327 DOPPLER"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,15]]},"DOI":"10.1145\/2660193.2660216","type":"proceedings-article","created":{"date-parts":[[2014,10,21]],"date-time":"2014-10-21T08:59:05Z","timestamp":1413881945000},"page":"233-249","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Foundations of path-dependent types"],"prefix":"10.1145","author":[{"given":"Nada","family":"Amin","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]},{"given":"Tiark","family":"Rompf","sequence":"additional","affiliation":[{"name":"EPFL & Oracle Labs, Lausanne, Switzerland"}]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2014,10,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"OBT","author":"Amin N.","year":"2014","unstructured":"N. Amin and T. Rompf . Mind the gap: Artifacts vs insights in pl theory . In OBT , 2014 . URL http:\/\/popl-obt-2014.cs.brown.edu\/papers\/gap.pdf. N. Amin and T. Rompf. Mind the gap: Artifacts vs insights in pl theory. In OBT, 2014. URL http:\/\/popl-obt-2014.cs.brown.edu\/papers\/gap.pdf."},{"key":"e_1_3_2_1_2_1","volume-title":"FOOL","author":"Amin N.","year":"2012","unstructured":"N. Amin , A. Moors , and M. Odersky . Dependent object types . In FOOL , 2012 . N. Amin, A. Moors, and M. Odersky. Dependent object types. In FOOL, 2012."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11541868_4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869510"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1218563.1218578"},{"key":"e_1_3_2_1_6_1","volume-title":"TAPSOFT: Theory and Practice of Software Development.","author":"Courant J.","year":"1997","unstructured":"J. Courant . An applicative module calculus . In TAPSOFT: Theory and Practice of Software Development. 1997 . J. Courant. An applicative module calculus. In TAPSOFT: Theory and Practice of Software Development. 1997."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11821069_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411248"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680013"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_14"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111062"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297038"},{"key":"e_1_3_2_1_13_1","volume-title":"Programming in standard ml","author":"Harper R.","year":"2013","unstructured":"R. Harper . Programming in standard ml , 2013 . R. Harper. Programming in standard ml, 2013."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2942"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103691"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939141.1939161"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176926"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003683"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512670"},{"key":"e_1_3_2_1_22_1","volume-title":"The Coq proof assistant reference manual","year":"2012","unstructured":"The Coq development team. The Coq proof assistant reference manual , 2012 . URL http:\/\/coq.inria.fr. Version 8.4. The Coq development team. The Coq proof assistant reference manual, 2012. URL http:\/\/coq.inria.fr. Version 8.4."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/549659"},{"key":"e_1_3_2_1_24_1","volume-title":"FOOL","author":"Moors A.","year":"2008","unstructured":"A. Moors , F. Piessens , and M. Odersky . Safe type-level abstraction in Scala . In FOOL , 2008 . A. Moors, F. Piessens, and M. Odersky. Safe type-level abstraction in Scala. In FOOL, 2008."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1028986"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_10"},{"key":"e_1_3_2_1_27_1","volume-title":"CADE","author":"Pfenning F.","year":"1999","unstructured":"F. Pfenning and C. Sch\u00fcrmann . In CADE , 1999 . F. Pfenning and C. Sch\u00fcrmann. In CADE, 1999."},{"key":"e_1_3_2_1_28_1","unstructured":"J. Siek. Type safety in three easy lemmas. http:\/\/siek.blogspot.ch\/2013\/05\/type-safety-in-three-easy-lemmas.html 2013.  J. Siek. Type safety in three easy lemmas. http:\/\/siek.blogspot.ch\/2013\/05\/type-safety-in-three-easy-lemmas.html 2013."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_30_1","volume-title":"FOOL","author":"Tate R.","year":"2013","unstructured":"R. Tate . Mixed-site variance . In FOOL , 2013 . R. Tate. Mixed-site variance. In FOOL, 2013."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"}],"event":{"name":"SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Portland Oregon USA","acronym":"SPLASH '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2660193.2660216","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2660193.2660216","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:14:43Z","timestamp":1750263283000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2660193.2660216"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,15]]},"references-count":31,"alternative-id":["10.1145\/2660193.2660216","10.1145\/2660193"],"URL":"https:\/\/doi.org\/10.1145\/2660193.2660216","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2714064.2660216","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,10,15]]},"assertion":[{"value":"2014-10-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}