{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:52Z","timestamp":1772164012931,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T00:00:00Z","timestamp":1285804800000},"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":[[2010,9,30]]},"DOI":"10.1145\/1863523.1863530","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T13:41:50Z","timestamp":1285681310000},"page":"49-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Exchanging sources between clean and Haskell"],"prefix":"10.1145","author":[{"given":"John van","family":"Groningen","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas van","family":"Noort","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter","family":"Koopman","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,9,30]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"}}Peter Achten. Clean for Haskell 98 programmers - A quick reference guide. http:\/\/www.st.cs.ru.nl\/papers\/2007\/achp2007-CleanHaskellQuickGuide.pdf 2007.  }}Peter Achten. Clean for Haskell 98 programmers - A quick reference guide. http:\/\/www.st.cs.ru.nl\/papers\/2007\/achp2007-CleanHaskellQuickGuide.pdf 2007."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001258"},{"key":"e_1_3_2_2_3_1","first-page":"1","volume-title":"Proceedings of the 5th Glasgow Workshop on Functional Programming, GFP '92, Ayr, UK, Workshops in Computing","author":"Achten Peter","year":"1992","unstructured":"}} Peter Achten , John van Groningen , and Rinus Plasmeijer . High level specification of I\/O in functional languages. In John Launchbury and Patrick Sansom, editors , Proceedings of the 5th Glasgow Workshop on Functional Programming, GFP '92, Ayr, UK, Workshops in Computing , pages 1 -- 17 . Springer-Verlag , 1992 . }}Peter Achten, John van Groningen, and Rinus Plasmeijer. High level specification of I\/O in functional languages. In John Launchbury and Patrick Sansom, editors, Proceedings of the 5th Glasgow Workshop on Functional Programming, GFP '92, Ayr, UK, Workshops in Computing, pages 1--17. Springer-Verlag, 1992."},{"key":"e_1_3_2_2_4_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/3-540-46028-4_11","volume-title":"Selected Papers of the 13th International Workshop on the Implementation of Functional Languages, IFL '01","author":"Alimarine Artem","year":"2002","unstructured":"}} Artem Alimarine and Rinus Plasmeijer . A generic programming extension for Clean . In Thomas Arts and Markus Mohnen, editors, Selected Papers of the 13th International Workshop on the Implementation of Functional Languages, IFL '01 , Stockholm, Sweden , volume 2312 of Lecture Notes in Computer Science , pages 168 -- 186 . Springer-Verlag , 2002 . }}Artem Alimarine and Rinus Plasmeijer. A generic programming extension for Clean. In Thomas Arts and Markus Mohnen, editors, Selected Papers of the 13th International Workshop on the Implementation of Functional Languages, IFL '01, Stockholm, Sweden, volume 2312 of Lecture Notes in Computer Science, pages 168--186. Springer-Verlag, 2002."},{"key":"e_1_3_2_2_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-57529-4_42","volume-title":"Proceedings of 13th Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS '93, Bombay, India","author":"Barendsen Erik","year":"1993","unstructured":"}} Erik Barendsen and Sjaak Smetsers . Conventional and uniqueness typing in graph rewrite systems (extended abstract) . In Rudrapatna Shyamasundar, editor, Proceedings of 13th Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS '93, Bombay, India , volume 761 of Lecture Notes in Computer Science , pages 41 -- 51 . Springer , 1993 . }}Erik Barendsen and Sjaak Smetsers. Conventional and uniqueness typing in graph rewrite systems (extended abstract). In Rudrapatna Shyamasundar, editor, Proceedings of 13th Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS '93, Bombay, India, volume 761 of Lecture Notes in Computer Science, pages 41--51. Springer, 1993."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/36583.36603"},{"key":"e_1_3_2_2_7_1","unstructured":"}}Manuel Chakravarty. The Haskell 98 Foreign Function Interface 1.0 an addendum to the Haskell 98 report. http:\/\/www.cse.unsw.edu.au\/~chak\/haskell\/ffi 2003.  }}Manuel Chakravarty. The Haskell 98 Foreign Function Interface 1.0 an addendum to the Haskell 98 report. http:\/\/www.cse.unsw.edu.au\/~chak\/haskell\/ffi 2003."},{"key":"e_1_3_2_2_8_1","unstructured":"}}P\u00e9ter Divi\u00e1nszky. Haskell-Clean compiler. http:\/\/aszt.inf.elte.hu\/~fun_ver\/2003\/software\/HsCleanAll2.0.2.zip 2003.  }}P\u00e9ter Divi\u00e1nszky. Haskell-Clean compiler. http:\/\/aszt.inf.elte.hu\/~fun_ver\/2003\/software\/HsCleanAll2.0.2.zip 2003."},{"key":"e_1_3_2_2_9_1","volume-title":"Technical Report 90--20","author":"van Eekelen Marko","year":"1990","unstructured":"}} Marko van Eekelen , Eric N\u00f6cker , Rinus Plasmeijer , and Sjaak Smetsers . Concurrent Clean (version 0.6). Technical Report 90--20 , Radboud University Nijmegen , 1990 . }}Marko van Eekelen, Eric N\u00f6cker, Rinus Plasmeijer, and Sjaak Smetsers. Concurrent Clean (version 0.6). Technical Report 90--20, Radboud University Nijmegen, 1990."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165230"},{"key":"e_1_3_2_2_11_1","volume-title":"ELTE","author":"Hegedus Hajnalka","year":"2001","unstructured":"}} Hajnalka Hegedus . Haskell to Clean front end. Master's thesis , ELTE , Budapest, Hungary , 2001 . }}Hajnalka Hegedus. Haskell to Clean front end. Master's thesis, ELTE, Budapest, Hungary, 2001."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325709"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001404"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/130697.130699"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238856"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250502"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944719"},{"key":"e_1_3_2_2_19_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/3-540-46028-4_4","volume-title":"Selected Papers of the 13th International Workshop on the Implementation of Functional Languages, IFL '01","author":"de Mol Maarten","year":"2002","unstructured":"}} Maarten de Mol , Marko van Eekelen , and Rinus Plasmeijer . Theorem proving for functional programmers - Sparkle: a functional theorem prover . In Thomas Arts and Markus Mohnen, editors, Selected Papers of the 13th International Workshop on the Implementation of Functional Languages, IFL '01 , Stockholm, Sweden , volume 2312 of Lecture Notes in Computer Science , pages 55 -- 72 . Springer-Verlag , 2002 . }}Maarten de Mol, Marko van Eekelen, and Rinus Plasmeijer. Theorem proving for functional programmers - Sparkle: a functional theorem prover. In Thomas Arts and Markus Mohnen, editors, Selected Papers of the 13th International Workshop on the Implementation of Functional Languages, IFL '01, Stockholm, Sweden, volume 2312 of Lecture Notes in Computer Science, pages 55--72. Springer-Verlag, 2002."},{"key":"e_1_3_2_2_20_1","volume-title":"Haskell to Clean translation. Master's thesis","author":"Naylor Matthew","year":"2004","unstructured":"}} Matthew Naylor . Haskell to Clean translation. Master's thesis , University of York , 2004 . http:\/\/www-sers.cs.york.ac.uk\/~mfn\/hacle\/hacle.pdf. }}Matthew Naylor. Haskell to Clean translation. Master's thesis, University of York, 2004. http:\/\/www-sers.cs.york.ac.uk\/~mfn\/hacle\/hacle.pdf."},{"key":"e_1_3_2_2_22_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 , 2003 . }}Simon Peyton Jones, editor. Haskell 98 language and libraries: the revised report. Cambridge University Press, 2003."},{"key":"e_1_3_2_2_23_1","volume-title":"Report on the programming language Haskell 98","author":"Jones Simon Peyton","year":"1999","unstructured":"}} Simon Peyton Jones and John Hughes . Report on the programming language Haskell 98 . University of Yale , 1999 . http:\/\/www.haskell.org\/definition\/. }}Simon Peyton Jones and John Hughes. Report on the programming language Haskell 98. University of Yale, 1999. http:\/\/www.haskell.org\/definition\/."},{"key":"e_1_3_2_2_24_1","series-title":"Lecture Notes in Computer Science","first-page":"169","volume-title":"Proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL '98","author":"Pil Marco","year":"1999","unstructured":"}} Marco Pil . Dynamic types and type dependent functions . In Kevin Hammond, Tony Davie, and Chris Clack, editors, Proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL '98 , London, UK , volume 1595 of Lecture Notes in Computer Science , pages 169 -- 185 . Springer-Verlag , 1999 . }}Marco Pil. Dynamic types and type dependent functions. In Kevin Hammond, Tony Davie, and Chris Clack, editors, Proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL '98, London, UK, volume 1595 of Lecture Notes in Computer Science, pages 169--185. Springer-Verlag, 1999."},{"key":"e_1_3_2_2_25_1","volume-title":"Functional programming and parallel graph rewriting","author":"Plasmeijer Rinus","year":"1993","unstructured":"}} Rinus Plasmeijer and Marko van Eekelen . Functional programming and parallel graph rewriting . Addison-Wesley Publishing Company , 1993 . }}Rinus Plasmeijer and Marko van Eekelen. Functional programming and parallel graph rewriting. Addison-Wesley Publishing Company, 1993."},{"key":"e_1_3_2_2_26_1","unstructured":"}}Rinus Plasmeijer and Marko van Eekelen. Clean language report (version 2.1). http:\/\/clean.cs.ru.nl 2002.  }}Rinus Plasmeijer and Marko van Eekelen. Clean language report (version 2.1). http:\/\/clean.cs.ru.nl 2002."},{"key":"e_1_3_2_2_27_1","volume-title":"Programming in MODULA-2 - 3rd, corrected edition. Texts and Monographs in Computer Science","author":"Wirth Niklaus","year":"1985","unstructured":"}} Niklaus Wirth . Programming in MODULA-2 - 3rd, corrected edition. Texts and Monographs in Computer Science . Springer-Verlag , 1985 . }}Niklaus Wirth. Programming in MODULA-2 - 3rd, corrected edition. Texts and Monographs in Computer Science. Springer-Verlag, 1985."}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","location":"Baltimore Maryland USA","acronym":"ICFP '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the third ACM Haskell symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863523.1863530","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863523.1863530","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:39:52Z","timestamp":1750232392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863523.1863530"}},"subtitle":["a double-edged front end for the clean compiler"],"short-title":[],"issued":{"date-parts":[[2010,9,30]]},"references-count":25,"alternative-id":["10.1145\/1863523.1863530","10.1145\/1863523"],"URL":"https:\/\/doi.org\/10.1145\/1863523.1863530","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2088456.1863530","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,9,30]]},"assertion":[{"value":"2010-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}