{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:02Z","timestamp":1750306742662,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T00:00:00Z","timestamp":1406505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004359","name":"Vetenskapsr\u00e4det","doi-asserted-by":"publisher","award":["D0497701"],"award-info":[{"award-number":["D0497701"]}],"id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,28]]},"DOI":"10.1145\/2637647.2637648","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T12:29:52Z","timestamp":1406636992000},"page":"35-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Type-directed language extension for effectful computations"],"prefix":"10.1145","author":[{"given":"Evgenii","family":"Kotelnikov","sequence":"first","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2014,7,28]]},"reference":[{"volume-title":"Prentice-Hall International Series in Computer Science","year":"1990","author":"Barr M.","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1017\/S095679681300018X"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/2489837.2489840"},{"unstructured":"J. Carette L. E. van Dijk and O. Kiselyov. Syntax extension for monads in OCaml. http:\/\/www.cas.mcmaster.ca\/~carette\/pa_monad 2008.  J. Carette L. E. van Dijk and O. Kiselyov. Syntax extension for monads in OCaml. http:\/\/www.cas.mcmaster.ca\/~carette\/pa_monad 2008.","key":"e_1_3_2_1_5_1"},{"unstructured":"T. Crockett. Effectful --- A syntax for type-safe effectful computations in Scala. https:\/\/github.com\/pelotom\/effectful 2013.  T. Crockett. Effectful --- A syntax for type-safe effectful computations in Scala. https:\/\/github.com\/pelotom\/effectful 2013.","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/1596638.1596643"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/2034675.2034678"},{"unstructured":"P. Haller and J. Zaugg. SIP-22 --- Async. http:\/\/docs.scala-lang.org\/sips\/pending\/async.html.  P. Haller and J. Zaugg. SIP-22 --- Async. http:\/\/docs.scala-lang.org\/sips\/pending\/async.html.","key":"e_1_3_2_1_9_1"},{"unstructured":"R. Hinze. Lifting Operators and Laws. Available at http:\/\/www.comlab.ox.ac.uk\/ralf.hinze\/Lifting.pdf 2010.  R. Hinze. Lifting Operators and Laws. Available at http:\/\/www.comlab.ox.ac.uk\/ralf.hinze\/Lifting.pdf 2010.","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/165180.165190"},{"unstructured":"S. P. Jones J. Hughes L. Augustsson D. Barton B. Boutel W. Burton J. Fasel K. Hammond R. Hinze P. Hudak etal Report on the programming language Haskell 98 1999.  S. P. Jones J. Hughes L. Augustsson D. Barton B. Boutel W. Burton J. Fasel K. Hammond R. Hinze P. Hudak et al. Report on the programming language Haskell 98 1999.","key":"e_1_3_2_1_12_1"},{"doi-asserted-by":"crossref","unstructured":"D. J. King and P. Wadler. Combining monads. pages 134--143 1992.   D. J. King and P. Wadler. Combining monads. pages 134--143 1992.","key":"e_1_3_2_1_13_1","DOI":"10.1007\/978-1-4471-3215-8_12"},{"unstructured":"C. McBride. The Strathclyde Haskell Enhancement. https:\/\/personal.cis.strath.ac.uk\/conor.mcbride\/pub\/she\/ 2009.  C. McBride. The Strathclyde Haskell Enhancement. https:\/\/personal.cis.strath.ac.uk\/conor.mcbride\/pub\/she\/ 2009.","key":"e_1_3_2_1_14_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1017\/S0956796807006326"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1016\/0890-5401(91)90052-4"},{"unstructured":"M. Odersky P. Altherr V. Cremet B. Emir S. Micheloud N. Mihaylov M. Schinz E. Stenman and M. Zenger. The Scala language specification 2004.  M. Odersky P. Altherr V. Cremet B. Emir S. Micheloud N. Mihaylov M. Schinz E. Stenman and M. Zenger. The Scala language specification 2004.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","first-page":"1","volume-title":"IFL","author":"Orchard D. A.","year":"2012"},{"volume-title":"Pre-proceedings of TFP","year":"2012","author":"Petricek T.","key":"e_1_3_2_1_19_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1007\/978-3-319-04132-2_3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/1631687.1596596"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1007\/978-3-642-31057-7_13"},{"unstructured":"D. Sorokin. Monad Macros in Common Lisp. http:\/\/common-lisp.net\/project\/cl-monad-macros\/monad-macros.htm 2010.  D. Sorokin. Monad Macros in Common Lisp. http:\/\/common-lisp.net\/project\/cl-monad-macros\/monad-macros.htm 2010.","key":"e_1_3_2_1_23_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/2034773.2034778"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1109\/LICS.1992.185530"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1016\/j.entcs.2008.05.029"},{"key":"e_1_3_2_1_27_1","first-page":"127","volume-title":"The Implementation of Functional Programming Languages","author":"Wadler P.","year":"1987"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1145\/91556.91592"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1007\/3-540-59451-5_2"}],"event":{"sponsor":["Uppsala University, Department of Information Science Uppsala University, Department of Information Science","AITO Assoc Internationale por les Technologies Objects","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ECOOP '14","name":"ECOOP '14: European Conference on Object-Oriented Programming","location":"Uppsala Sweden"},"container-title":["Proceedings of the Fifth Annual Scala Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2637647.2637648","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2637647.2637648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:17Z","timestamp":1750231697000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2637647.2637648"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,28]]},"references-count":28,"alternative-id":["10.1145\/2637647.2637648","10.1145\/2637647"],"URL":"https:\/\/doi.org\/10.1145\/2637647.2637648","relation":{},"subject":[],"published":{"date-parts":[[2014,7,28]]},"assertion":[{"value":"2014-07-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}