{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:31Z","timestamp":1750306051894,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,31]],"date-time":"2016-08-31T00:00:00Z","timestamp":1472601600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,8,31]]},"DOI":"10.1145\/3064899.3064907","type":"proceedings-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T12:26:08Z","timestamp":1493036768000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Type Directives and Type Graphs in Elm"],"prefix":"10.1145","author":[{"given":"Falco","family":"Peijnenburg","sequence":"first","affiliation":[{"name":"Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands"}]},{"given":"Jurriaan","family":"Hage","sequence":"additional","affiliation":[{"name":"Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands"}]},{"given":"Alejandro","family":"Serrano","sequence":"additional","affiliation":[{"name":"Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2016,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Lennart Augustsson. 2015. Custom Type Errors. (2015). https:\/\/ghc.haskell.org\/trac\/ghc\/wiki\/Proposal\/CustomTypeErrors Accessed: 2015-11-25.  Lennart Augustsson. 2015. Custom Type Errors. (2015). https:\/\/ghc.haskell.org\/trac\/ghc\/wiki\/Proposal\/CustomTypeErrors Accessed: 2015-11-25."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535863"},{"key":"e_1_3_2_1_3_1","volume-title":"Preproceedings of the 15th Symposium on Trends in Functional Programming.","author":"Christiansen David Raymond","year":"2014","unstructured":"David Raymond Christiansen . 2014 . Reflect on your mistakes! Lightweight domain-specific error messages . In Preproceedings of the 15th Symposium on Trends in Functional Programming. David Raymond Christiansen. 2014. Reflect on your mistakes! Lightweight domain-specific error messages. In Preproceedings of the 15th Symposium on Trends in Functional Programming."},{"key":"e_1_3_2_1_4_1","volume-title":"Elm: Concurrent FRP for Functional GUIs. Senior thesis","author":"Czaplicki Evan","year":"2012","unstructured":"Evan Czaplicki . 2012 . Elm: Concurrent FRP for Functional GUIs. Senior thesis , Harvard University ( 2012). Evan Czaplicki. 2012. Elm: Concurrent FRP for Functional GUIs. Senior thesis, Harvard University (2012)."},{"volume-title":"Compilers as Assistants. (nov2015)","author":"Czaplicki Evan","key":"e_1_3_2_1_5_1","unstructured":"Evan Czaplicki . 2015. Compilers as Assistants. (nov2015) . http:\/\/elm-lang.org\/blog\/compilers-as-assistants http:\/\/elm-lang.org\/blog\/compilers-as-assistants Accessed: 2015-11-25. Evan Czaplicki. 2015. Compilers as Assistants. (nov2015). http:\/\/elm-lang.org\/blog\/compilers-as-assistants http:\/\/elm-lang.org\/blog\/compilers-as-assistants Accessed: 2015-11-25."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462161"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.01.004"},{"key":"e_1_3_2_1_10_1","volume-title":"IFL","author":"Hage Jurriaan","year":"2006","unstructured":"Jurriaan Hage and Bastiaan Heeren . 2006 . Heuristics for Type Error Discovery and Recovery. In Implementation and Application of Functional Languages , IFL 2006, Budapest, Hungary, Revised Selected Papers. 199--216. DOI: https:\/\/doi.org\/10.1007\/978-3-540-74130-5_12 10.1007\/978-3-540-74130-5_12 Jurriaan Hage and Bastiaan Heeren. 2006. Heuristics for Type Error Discovery and Recovery. In Implementation and Application of Functional Languages, IFL 2006, Budapest, Hungary, Revised Selected Papers. 199--216. DOI: https:\/\/doi.org\/10.1007\/978-3-540-74130-5_12"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.03.021"},{"key":"e_1_3_2_1_12_1","unstructured":"J. Hage B. Heeren A. Middelkoop and others. The Helium Compiler. (????). http:\/\/www.cs.uu.nl\/wiki\/bin\/view\/Helium\/WebHome.  J. Hage B. Heeren A. Middelkoop and others. The Helium Compiler. (????). http:\/\/www.cs.uu.nl\/wiki\/bin\/view\/Helium\/WebHome."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00434-6_4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30557-6_19"},{"key":"e_1_3_2_1_16_1","volume-title":"Constraint based type inferencing in Helium. Immediate Applications of Constraint Programming (ACP)","author":"Heeren Bastiaan","year":"2003","unstructured":"Bastiaan Heeren , Jurriaan Hage , and Doaitse Swierstra . 2003. Constraint based type inferencing in Helium. Immediate Applications of Constraint Programming (ACP) ( 2003 ), 57. Bastiaan Heeren, Jurriaan Hage, and Doaitse Swierstra. 2003. Constraint based type inferencing in Helium. Immediate Applications of Constraint Programming (ACP) (2003), 57."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/944746.944707"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871902"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242477"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00005-0"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291892"},{"key":"e_1_3_2_1_22_1","volume-title":"Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP","author":"Leijen Daan","year":"2005","unstructured":"Daan Leijen . 2005. Extensible records with scoped labels . In Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005 , Tallinn, Estonia , 23-24 September 2005. (Trends in Functional Programming), Marko van Eekelen (Ed.), Vol. 6 . Intellect , 179--194. Daan Leijen. 2005. Extensible records with scoped labels. In Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. (Trends in Functional Programming), Marko van Eekelen (Ed.), Vol. 6. Intellect, 179--194."},{"key":"e_1_3_2_1_23_1","volume-title":"10th International Workshop, IFL'98","volume":"1595","author":"McAdam Bruce","year":"1998","unstructured":"Bruce McAdam . 1998 . On the Unification of Substitutions in Type Interfaces. In Implementation of Functional Languages , 10th International Workshop, IFL'98 , London, UK, September 9-11, Selected Papers (LNCS), Kevin Hammond, Antony Davie, and Chris Clack (Eds.) , Vol. 1595 . Springer, 137--152. DOI: https:\/\/doi.org\/10.1007\/3-540-48515-5_9 10.1007\/3-540-48515-5_9 Bruce McAdam. 1998. On the Unification of Substitutions in Type Interfaces. In Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers (LNCS), Kevin Hammond, Antony Davie, and Chris Clack (Eds.), Vol. 1595. Springer, 137--152. DOI: https:\/\/doi.org\/10.1007\/3-540-48515-5_9"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1%3C35::AID-TAPO4%3E3.0.CO;2-4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660230"},{"key":"e_1_3_2_1_27_1","unstructured":"Hubert Plociniczak Heather Miller and Martin Odersky. 2014. Improving Human-Compiler Interaction Through Customizable Type Feedback.  Hubert Plociniczak Heather Miller and Martin Odersky. 2014. Improving Human-Compiler Interaction Through Customizable Type Feedback."},{"volume-title":"Advanced Topics in Types and Programming Languages","author":"Pottier Francois","key":"e_1_3_2_1_28_1","unstructured":"Francois Pottier and Didier R\u00e9my . 2005. The Essence of ML Type Inference . In Advanced Topics in Types and Programming Languages , Benjamin Pierce (Ed.). MIT Press , Chapter 10, 389--489. Francois Pottier and Didier R\u00e9my. 2005. The Essence of ML Type Inference. In Advanced Topics in Types and Programming Languages, Benjamin Pierce (Ed.). MIT Press, Chapter 10, 389--489."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.04.012"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_26"},{"key":"e_1_3_2_1_31_1","volume-title":"12th Asian Symposium on Programming Languages and Systems, APLAS","author":"Tsushima Kanae","year":"2014","unstructured":"Kanae Tsushima and Olaf Chitil . 2014 . Enumerating Counter-Factual Type Error Messages with an Existing Type Checker . 12th Asian Symposium on Programming Languages and Systems, APLAS , Singapore , November 17-19 (2014). Kanae Tsushima and Olaf Chitil. 2014. Enumerating Counter-Factual Type Error Messages with an Existing Type Checker. 12th Asian Symposium on Programming Languages and Systems, APLAS, Singapore, November 17-19 (2014)."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_33_1","volume-title":"Finding the Source of Type Errors. In Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St","author":"Wand Mitchell","year":"1986","unstructured":"Mitchell Wand . 1986 . Finding the Source of Type Errors. In Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St . Petersburg Beach, Florida, USA , January 1986. ACM Press, 38--43. DOI: https:\/\/doi.org\/10.1145\/512644.512648 10.1145\/512644.512648 Mitchell Wand. 1986. Finding the Source of Type Errors. In Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986. ACM Press, 38--43. DOI: https:\/\/doi.org\/10.1145\/512644.512648"},{"volume-title":"Selected papers from the 1st Scottish Functional Programming Workshop (SFP99) (Trends in Functional Programming), Philip Trinder, Greg Michaelson, and Hans-Wolfgang Loidl (Eds.)","author":"Yang Jun","key":"e_1_3_2_1_34_1","unstructured":"Jun Yang . 1999. Explaining Type Errors by Finding the Source of a Type Conflict . In Selected papers from the 1st Scottish Functional Programming Workshop (SFP99) (Trends in Functional Programming), Philip Trinder, Greg Michaelson, and Hans-Wolfgang Loidl (Eds.) , Vol. 1 . Intellect , 59--67. Jun Yang. 1999. Explaining Type Errors by Finding the Source of a Type Conflict. In Selected papers from the 1st Scottish Functional Programming Workshop (SFP99) (Trends in Functional Programming), Philip Trinder, Greg Michaelson, and Hans-Wolfgang Loidl (Eds.), Vol. 1. Intellect, 59--67."},{"key":"e_1_3_2_1_35_1","volume-title":"Improved Type Error Reporting. In In Proceedings of 12th International Workshop on Implementation of Functional Languages. 71--86","author":"Yang Jun","year":"2000","unstructured":"Jun Yang , Greg Michaelson , Phil Trinder , and Joe Wells . 2000 . Improved Type Error Reporting. In In Proceedings of 12th International Workshop on Implementation of Functional Languages. 71--86 . Jun Yang, Greg Michaelson, Phil Trinder, and Joe Wells. 2000. Improved Type Error Reporting. In In Proceedings of 12th International Workshop on Implementation of Functional Languages. 71--86."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535870"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738009"}],"event":{"name":"IFL 2016: Symposium on Implementation and Application of Functional Languages","sponsor":["K.U. Leuven K.U. Leuven"],"location":"Leuven Belgium","acronym":"IFL 2016"},"container-title":["Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064907","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3064899.3064907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:28Z","timestamp":1750215808000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064907"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,31]]},"references-count":34,"alternative-id":["10.1145\/3064899.3064907","10.1145\/3064899"],"URL":"https:\/\/doi.org\/10.1145\/3064899.3064907","relation":{},"subject":[],"published":{"date-parts":[[2016,8,31]]},"assertion":[{"value":"2016-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}