{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:22Z","timestamp":1772163982216,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159803.1159840","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"274-285","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Programming monads operationally with Unimo"],"prefix":"10.1145","author":[{"given":"Chuan-kai","family":"Lin","sequence":"first","affiliation":[{"name":"Portland State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005192"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351258"},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-59451-5_3","volume-title":"Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques","author":"Hughes John","year":"1995","unstructured":"John Hughes . The design of a pretty-printing library . In Johan Jeuring and Eric Meijer, editors, Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques , volume 925 of LNCS , pages 53 -- 96 . Springer , May 1995 . John Hughes. The design of a pretty-printing library. In Johan Jeuring and Eric Meijer, editors, Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, volume 925 of LNCS, pages 53--96. Springer, May 1995."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_6_1","series-title":"NATO Science Series: Computer & Systems Sciences","first-page":"47","volume-title":"Engineering Theories of Software Construction","author":"Jones Simon Peyton","year":"2001","unstructured":"Simon Peyton Jones . Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell . In CAR Hoare, Manfred Broy, and Ralf Steinbruggen, editors, Engineering Theories of Software Construction , volume 180 of NATO Science Series: Computer & Systems Sciences , pages 47 -- 96 . IOS Press , 2001 . Simon Peyton Jones. Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell. In CAR Hoare, Manfred Broy, and Ralf Steinbruggen, editors, Engineering Theories of Software Construction, volume 180 of NATO Science Series: Computer & Systems Sciences, pages 47--96. IOS Press, 2001."},{"key":"e_1_3_2_1_7_1","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Jones Simon Peyton","year":"2003","unstructured":"Simon Peyton Jones , editor. Haskell 98 Language and Libraries: The Revised Report . Cambridge University Press , Cambridge, UK , May 2003 . Simon Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge, UK, May 2003."},{"key":"e_1_3_2_1_8_1","volume-title":"Lexically scoped type variables. Submitted to ICFP","author":"Jones Simon Peyton","year":"2004","unstructured":"Simon Peyton Jones and Mark Shields . Lexically scoped type variables. Submitted to ICFP 2004 , March 2004. Simon Peyton Jones and Mark Shields. Lexically scoped type variables. Submitted to ICFP 2004, March 2004."},{"key":"e_1_3_2_1_9_1","volume-title":"July","author":"Jones Simon Peyton","year":"2005","unstructured":"Simon Peyton Jones , Dimitrios Vytiniotis , Stephanie Weirich , and Mark Shields . Practical type inference for arbitrary-rank types. Unpublished manuscript , July 2005 . Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Mark Shields. Practical type inference for arbitrary-rank types. Unpublished manuscript, July 2005."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/155360.155373"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_15_1","volume-title":"June","author":"Meuter Wolfgang De","year":"1997","unstructured":"Wolfgang De Meuter . Monads as a theoretical foundation for AOP. Position paper in ECOOP'97 Workshop on Aspect-Oriented Programming , June 1997 . Wolfgang De Meuter. Monads as a theoretical foundation for AOP. Position paper in ECOOP'97 Workshop on Aspect-Oriented Programming, June 1997."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/77350.77353"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_18_1","first-page":"575","volume-title":"Handbook of Theoretical Computer Science","author":"Mosses Peter D.","year":"1990","unstructured":"Peter D. Mosses . Denotational semantics . In Handbook of Theoretical Computer Science , Volume B: Formal Models and Semantics, chapter 11 , pages 575 -- 631 . MIT Press , December 1990 . Peter D. Mosses. Denotational semantics. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, chapter 11, pages 575--631. MIT Press, December 1990."},{"key":"e_1_3_2_1_19_1","volume-title":"Programming in Oberon: Steps Beyond Pascal and Modula","author":"Reiser Martin","year":"1992","unstructured":"Martin Reiser and Niklaus Wirth . Programming in Oberon: Steps Beyond Pascal and Modula . Addison Wesley , Reading, MA, USA , June 1992 . Martin Reiser and Niklaus Wirth. Programming in Oberon: Steps Beyond Pascal and Modula. Addison Wesley, Reading, MA, USA, June 1992."},{"key":"e_1_3_2_1_20_1","volume-title":"Project Oberon: The Design of an Operating System and Compiler","author":"Wirth Niklaus","year":"1992","unstructured":"Niklaus Wirth . Project Oberon: The Design of an Operating System and Compiler . Addison-Wesley , Reading, MA, USA , November 1992 . Niklaus Wirth. Project Oberon: The Design of an Operating System and Compiler. Addison-Wesley, Reading, MA, USA, November 1992."}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","location":"Portland Oregon USA","acronym":"ICFP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159803.1159840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:03:16Z","timestamp":1693843396000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159840"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":19,"alternative-id":["10.1145\/1159803.1159840","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159840","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159840","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}