{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:42Z","timestamp":1772163942260,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":99,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,21]],"date-time":"2007-10-21T00:00:00Z","timestamp":1192924800000},"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":[[2007,10,21]]},"DOI":"10.1145\/1297027.1297078","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T09:30:20Z","timestamp":1195119020000},"page":"677-694","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Confessions of a used programming language salesman"],"prefix":"10.1145","author":[{"given":"Erik","family":"Meijer","sequence":"first","affiliation":[{"name":"Microsoft SQL Server, Redmond, WA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/caml.inria.fr\/  http:\/\/caml.inria.fr\/"},{"key":"e_1_3_2_1_2_1","unstructured":"http:\/\/docs.google.com\/view?docid=ddhp95vd_6hg3qhc  http:\/\/docs.google.com\/view?docid=ddhp95vd_6hg3qhc"},{"key":"e_1_3_2_1_3_1","unstructured":"http:\/\/docs.google.com\/view?docid=k73_1ggr36h  http:\/\/docs.google.com\/view?docid=k73_1ggr36h"},{"key":"e_1_3_2_1_4_1","unstructured":"http:\/\/dreamsongs.com\/worseisbetter.html  http:\/\/dreamsongs.com\/worseisbetter.html"},{"key":"e_1_3_2_1_5_1","unstructured":"http:\/\/en.wikipedia.org\/wiki\/pimp_my_ride  http:\/\/en.wikipedia.org\/wiki\/pimp_my_ride"},{"key":"e_1_3_2_1_6_1","unstructured":"http:\/\/haskelldb.sourceforge.net\/  http:\/\/haskelldb.sourceforge.net\/"},{"key":"e_1_3_2_1_7_1","unstructured":"http:\/\/research.microsoft.com\/~toddpro\/papers\/law.htm  http:\/\/research.microsoft.com\/~toddpro\/papers\/law.htm"},{"key":"e_1_3_2_1_8_1","unstructured":"http:\/\/research.microsoft.com\/fsharp\/about.aspx  http:\/\/research.microsoft.com\/fsharp\/about.aspx"},{"key":"e_1_3_2_1_9_1","unstructured":"http:\/\/research.microsoft.com\/specsharp\/  http:\/\/research.microsoft.com\/specsharp\/"},{"key":"e_1_3_2_1_10_1","unstructured":"http:\/\/research.sun.com\/projects\/plrg\/fortress.pdf  http:\/\/research.sun.com\/projects\/plrg\/fortress.pdf"},{"key":"e_1_3_2_1_11_1","unstructured":"http:\/\/www.artima.com\/weblogs\/viewpost.jsp?thread=182412  http:\/\/www.artima.com\/weblogs\/viewpost.jsp?thread=182412"},{"key":"e_1_3_2_1_12_1","unstructured":"http:\/\/www.cis.upenn.edu\/~bcpierce\/types\/archives\/1988\/msg00042.html  http:\/\/www.cis.upenn.edu\/~bcpierce\/types\/archives\/1988\/msg00042.html"},{"key":"e_1_3_2_1_13_1","unstructured":"http:\/\/www.cs.iastate.edu\/~leavens\/jml\/documentation.shtml  http:\/\/www.cs.iastate.edu\/~leavens\/jml\/documentation.shtml"},{"key":"e_1_3_2_1_14_1","unstructured":"http:\/\/www.doc.ic.ac.uk\/~scd\/  http:\/\/www.doc.ic.ac.uk\/~scd\/"},{"key":"e_1_3_2_1_15_1","unstructured":"http:\/\/www.eiffel.com\/  http:\/\/www.eiffel.com\/"},{"key":"e_1_3_2_1_16_1","unstructured":"http:\/\/www.javac.info\/closures-v05.html  http:\/\/www.javac.info\/closures-v05.html"},{"key":"e_1_3_2_1_17_1","unstructured":"http:\/\/www.jclark.com \/xml\/xmlns.htm  http:\/\/www.jclark.com \/xml\/xmlns.htm"},{"key":"e_1_3_2_1_18_1","unstructured":"http:\/\/www.plt-scheme.org \/publications.html  http:\/\/www.plt-scheme.org \/publications.html"},{"key":"e_1_3_2_1_19_1","unstructured":"http:\/\/www.scala-lang.org\/  http:\/\/www.scala-lang.org\/"},{"key":"e_1_3_2_1_20_1","unstructured":"http:\/\/www.w3.org\/tr\/xquery\/  http:\/\/www.w3.org\/tr\/xquery\/"},{"key":"e_1_3_2_1_21_1","unstructured":"http:\/\/www.w3.org\/xml\/schema  http:\/\/www.w3.org\/xml\/schema"},{"key":"e_1_3_2_1_22_1","unstructured":"The Haskell 98 Foreign Function Interface 1.0 2003.  The Haskell 98 Foreign Function Interface 1.0 2003."},{"key":"e_1_3_2_1_23_1","volume-title":"Pragmatic Bookshelf","author":"Armstrong Joe","year":"2007","unstructured":"Joe Armstrong . Programming Erlang : Software for a Concurrent World . Pragmatic Bookshelf , 2007 . Joe Armstrong. Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf, 2007."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1018203.1018205"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944711"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings FOOL\/WOOD","author":"Bierman Gavin","year":"2007","unstructured":"Gavin Bierman . Formalizing and Extending C# Type Inference . In Proceedings FOOL\/WOOD , 2007 . Gavin Bierman. Formalizing and Extending C# Type Inference. In Proceedings FOOL\/WOOD, 2007."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_13"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297063"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_12"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/291251.289440"},{"key":"e_1_3_2_1_31_1","volume-title":"The Dharma of Star Wars","author":"Bortolin Matthew","year":"2005","unstructured":"Matthew Bortolin . The Dharma of Star Wars . Wisdom Publishers Inc ., Boston, 2005 . Matthew Bortolin. The Dharma of Star Wars. Wisdom Publishers Inc., Boston, 2005."},{"key":"e_1_3_2_1_32_1","volume-title":"Bracha. Pluggable Type Systems. In Proceedings OOPSLA Workshop On The Revival Of Dynamic Languages","author":"Gilad","year":"2004","unstructured":"Gilad Bracha. Pluggable Type Systems. In Proceedings OOPSLA Workshop On The Revival Of Dynamic Languages , 2004 . Gilad Bracha. Pluggable Type Systems. In Proceedings OOPSLA Workshop On The Revival Of Dynamic Languages, 2004."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/167962.165893"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088348.1088353"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165228"},{"key":"e_1_3_2_1_37_1","volume-title":"The Change Function: Why Some Technologies Take Off and Others Crash and Burn","author":"Coburn Pip","year":"2006","unstructured":"Pip Coburn . The Change Function: Why Some Technologies Take Off and Others Crash and Burn . 2006 . Pip Coburn. The Change Function: Why Some Technologies Take Off and Others Crash and Burn. 2006."},{"key":"e_1_3_2_1_38_1","volume-title":"Dean and Sanjay Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. In Proceedings OSDI","author":"Jeffrey","year":"2004","unstructured":"Jeffrey Dean and Sanjay Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. In Proceedings OSDI , 2004 . Jeffrey Dean and Sanjay Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. In Proceedings OSDI, 2004."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004574"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 8th International Conference on Database Theory","volume":"1973","author":"Fernandez Mary F.","year":"2001","unstructured":"Mary F. Fernandez , J\u00e9r\u00f4me Sim\u00e9on , and Philip Wadler . A semi-monad for semi-structured data . In Proceedings of the 8th International Conference on Database Theory , volume 1973 of LNCS, 2001 . Mary F. Fernandez, J\u00e9r\u00f4me Sim\u00e9on, and Philip Wadler. A semi-monad for semi-structured data. In Proceedings of the 8th International Conference on Database Theory, volume 1973 of LNCS, 2001."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111059"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006046"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.11.046"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113772"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-91518-7"},{"key":"e_1_3_2_1_46_1","volume-title":"Transaction Processing: Concepts and Techniques","author":"Gray Jim","year":"1992","unstructured":"Jim Gray and Andreas Reuter . Transaction Processing: Concepts and Techniques . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 1992 . Jim Gray and Andreas Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1992."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060788"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1053468.1053470"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242477"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.2.98"},{"key":"e_1_3_2_1_51_1","volume-title":"Jason Smith and Erik Meijer. Mondrian for .NET. DDJ","author":"Perry Nigel","year":"2002","unstructured":"Nigel Perry , Jason Smith and Erik Meijer. Mondrian for .NET. DDJ , 2002 . Nigel Perry, Jason Smith and Erik Meijer. Mondrian for .NET. DDJ, 2002."},{"key":"e_1_3_2_1_52_1","volume-title":"Marktoberdorf Summer School","author":"Jones Simon Peyton","year":"2000","unstructured":"Simon Peyton Jones . Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in haskell . In Marktoberdorf Summer School , 2000 . Simon Peyton Jones. Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in haskell. In Marktoberdorf Summer School, 2000."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268951"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/290229.290234"},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings XML","author":"Kossmann Donald","year":"2006","unstructured":"Donald Kossmann , Michael Carey , Don Chamberlin , Mary Fernandez , Daniela Florescu , Giorgio Ghelli , Jonathan Robie , and Jerome Simeon . Xqueryp : An XML application development language . In Proceedings XML , 2006 . Donald Kossmann, Michael Carey, Don Chamberlin, Mary Fernandez, Daniela Florescu, Giorgio Ghelli, Jonathan Robie, and Jerome Simeon. Xqueryp: An XML application development language. In Proceedings XML, 2006."},{"key":"e_1_3_2_1_56_1","series-title":"LNCS","volume-title":"Generative and Transformation Techniques in Software Engineering","author":"L\u00e4mmel R.","year":"2005","unstructured":"R. L\u00e4mmel and E. Meijer . Mappings make data processing go 'round' -- An inter-paradigmatic mapping tutorial . In Generative and Transformation Techniques in Software Engineering , volume 4143 of LNCS , 2005 . R. L\u00e4mmel and E. Meijer. Mappings make data processing go 'round' -- An inter-paradigmatic mapping tutorial. In Generative and Transformation Techniques in Software Engineering, volume 4143 of LNCS, 2005."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/1782894.1782900"},{"key":"e_1_3_2_1_58_1","volume-title":"L\u00e4mmel and Dave Remy. Functional OO Programming with Triangular Circles. In Proceedings XML","author":"Ralf","year":"2006","unstructured":"Ralf L\u00e4mmel and Dave Remy. Functional OO Programming with Triangular Circles. In Proceedings XML , 2006 . Ralf L\u00e4mmel and Dave Remy. Functional OO Programming with Triangular Circles. In Proceedings XML, 2006."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365257"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317784"},{"key":"e_1_3_2_1_61_1","volume-title":"Department of Computer Science","author":"Leijen Daan","year":"1998","unstructured":"Daan Leijen . Functional Components: COMComponents in Haskell. Master's thesis , Department of Computer Science , University of Amsterdam , September 1998 . Daan Leijen. Functional Components: COMComponents in Haskell. Master's thesis, Department of Computer Science, University of Amsterdam, September 1998."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/331963.331977"},{"key":"e_1_3_2_1_63_1","series-title":"LNCS","volume-title":"The 3rd International Summerschool on Advanced Functional Programming","author":"Leijen Daan","year":"1999","unstructured":"Daan Leijen , Erik Meijer , and James Hook . Haskell as an Automation Controller . In The 3rd International Summerschool on Advanced Functional Programming , volume 1608 of LNCS , 1999 . Daan Leijen, Erik Meijer, and James Hook. Haskell as an Automation Controller. In The 3rd International Summerschool on Advanced Functional Programming, volume 1608 of LNCS, 1999."},{"key":"e_1_3_2_1_64_1","volume-title":"Modular Monadic Semantics and Compilation","author":"Liang Sheng","year":"1997","unstructured":"Sheng Liang . Modular Monadic Semantics and Compilation . 1997 . Sheng Liang. Modular Monadic Semantics and Compilation. 1997."},{"key":"e_1_3_2_1_65_1","volume-title":"Java Native Interface: Programmer's Guide and Reference","author":"Liang Sheng","year":"1999","unstructured":"Sheng Liang . Java Native Interface: Programmer's Guide and Reference . Addison-Wesley , 1999 . Sheng Liang. Java Native Interface: Programmer's Guide and Reference. Addison-Wesley, 1999."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140352"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003561"},{"key":"e_1_3_2_1_68_1","volume-title":"Proceedings XML","author":"Meijer Erik","year":"2005","unstructured":"Erik Meijer and Brian Beckman . XLINQ : XML Programming Refactored (The Return Of The Monoids) . In Proceedings XML , 2005 . Erik Meijer and Brian Beckman. XLINQ: XML Programming Refactored (The Return Of The Monoids). In Proceedings XML, 2005."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142552"},{"key":"e_1_3_2_1_70_1","volume-title":"Meijer and Koen Claessen. The Design and Implementation of Mondrian. In Proceedings Haskell Workshop","author":"Erik","year":"1997","unstructured":"Erik Meijer and Koen Claessen. The Design and Implementation of Mondrian. In Proceedings Haskell Workshop , 1997 . Erik Meijer and Koen Claessen. The Design and Implementation of Mondrian. In Proceedings Haskell Workshop, 1997."},{"key":"e_1_3_2_1_71_1","volume-title":"Dynamic Typing When Needed: The End of the Cold War Between Programming Languages. In Proceedings OOPSLA Workshop On The Revival Of Dynamic Languages","author":"Meijer Erik","year":"2004","unstructured":"Erik Meijer and Peter Drayton . Static Typing Where Possible , Dynamic Typing When Needed: The End of the Cold War Between Programming Languages. In Proceedings OOPSLA Workshop On The Revival Of Dynamic Languages , 2004 . Erik Meijer and Peter Drayton. Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages. In Proceedings OOPSLA Workshop On The Revival Of Dynamic Languages, 2004."},{"key":"e_1_3_2_1_72_1","volume-title":"Proceedings Haskell Workshop","author":"Meijer Erik","year":"2000","unstructured":"Erik Meijer and Sigbjorn Finne . Lambada , Haskell as a Better Java . In Proceedings Haskell Workshop , 2000 . Erik Meijer and Sigbjorn Finne. Lambada, Haskell as a Better Java. In Proceedings Haskell Workshop, 2000."},{"key":"e_1_3_2_1_73_1","series-title":"LNCS","volume-title":"Lenses, Envelopes, and Barbed Wire. In Proceedings FPCA","author":"Meijer Erik","year":"1991","unstructured":"Erik Meijer , Maarten Fokkinga , and Ross Paterson . Functional Programming with Bananas , Lenses, Envelopes, and Barbed Wire. In Proceedings FPCA , volume 523 of LNCS , 1991 . Erik Meijer, Maarten Fokkinga, and Ross Paterson. Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire. In Proceedings FPCA, volume 523 of LNCS, 1991."},{"key":"e_1_3_2_1_74_1","volume-title":"Technical overview of the common language runtime","author":"Meijer Erik","year":"2000","unstructured":"Erik Meijer and John Gough . Technical overview of the common language runtime , 2000 . Erik Meijer and John Gough. Technical overview of the common language runtime, 2000."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224225"},{"key":"e_1_3_2_1_76_1","series-title":"LNCS","volume-title":"Proceedings PADL","author":"Meijer Erik","year":"1998","unstructured":"Erik Meijer , Daan Leijen , and James Hook . Client-side Web Scripting with HaskellScript . In Proceedings PADL , volume 1551 of LNCS , 1998 . Erik Meijer, Daan Leijen, and James Hook. Client-side Web Scripting with HaskellScript. In Proceedings PADL, volume 1551 of LNCS, 1998."},{"key":"e_1_3_2_1_77_1","series-title":"LNCS","volume-title":"Proceedings ECOOP","author":"Meijer Erik","year":"2001","unstructured":"Erik Meijer , Nigel Perry , and Arjan van Yzendoorn . Scripting .NET Using Mondrian . In Proceedings ECOOP , volume 2072 of LNCS , 2001 . Erik Meijer, Nigel Perry, and Arjan van Yzendoorn. Scripting .NET Using Mondrian. In Proceedings ECOOP, volume 2072 of LNCS, 2001."},{"key":"e_1_3_2_1_78_1","volume-title":"XML Types for C#. BillG ThinkWeek Submission","author":"Meijer Erik","year":"2001","unstructured":"Erik Meijer and Wolfram Schulte . XML Types for C#. BillG ThinkWeek Submission Winter 2001 . Erik Meijer and Wolfram Schulte. XML Types for C#. BillG ThinkWeek Submission Winter 2001."},{"key":"e_1_3_2_1_79_1","volume-title":"Triangles and Rectangles. In Proceedings XML","author":"Meijer Erik","year":"2003","unstructured":"Erik Meijer , Wolfram Schulte , and Gavin Bierman . Programming with Circles , Triangles and Rectangles. In Proceedings XML , 2003 . Erik Meijer, Wolfram Schulte, and Gavin Bierman. Programming with Circles, Triangles and Rectangles. In Proceedings XML, 2003."},{"key":"e_1_3_2_1_80_1","series-title":"John von Neumann Institute of Computing","volume-title":"Proceedings DP-COOL","author":"Meijer Erik","year":"2005","unstructured":"Erik Meijer , Wolfram Schulte , and Gavin Bierman . Unifying Tables , Objects and Documents . In Proceedings DP-COOL , volume 27 of John von Neumann Institute of Computing , 2005 . Erik Meijer, Wolfram Schulte, and Gavin Bierman. Unifying Tables, Objects and Documents. In Proceedings DP-COOL, volume 27 of John von Neumann Institute of Computing, 2005."},{"key":"e_1_3_2_1_81_1","unstructured":"Erik Meijer and Mark Shields. XMLambda: A Functional Programming Language for Constructing and Manipulating XML Documents. Unpublished draft.  Erik Meijer and Mark Shields. XMLambda: A Functional Programming Language for Constructing and Manipulating XML Documents. Unpublished draft."},{"key":"e_1_3_2_1_82_1","volume-title":"Proceedings XML","author":"Meijer Erik","year":"2005","unstructured":"Erik Meijer , Amanda Silver , and Paul Vick . Overview Of Visual Basic 9.0 . In Proceedings XML , 2005 . Erik Meijer, Amanda Silver, and Paul Vick. Overview Of Visual Basic 9.0. In Proceedings XML, 2005."},{"key":"e_1_3_2_1_83_1","volume-title":"Velzen. Haskell Server Pages: Functional Programming and the Battle for the Middle Tier. In Proceedings Haskell Workshop","author":"Meijer Erik","year":"2000","unstructured":"Erik Meijer and Danny van Velzen. Haskell Server Pages: Functional Programming and the Battle for the Middle Tier. In Proceedings Haskell Workshop , 2000 . Erik Meijer and Danny van Velzen. Haskell Server Pages: Functional Programming and the Battle for the Middle Tier. In Proceedings Haskell Workshop, 2000."},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"Milner Robin","year":"1997","unstructured":"Robin Milner , Mads Tofte , Robert Harper , and David MacQueen . The Definition of Standard ML (Revised) . The MIT Press , 1997 . Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997."},{"key":"e_1_3_2_1_85_1","volume-title":"Proceedings MPOOL","author":"Moors Adriaan","year":"2007","unstructured":"Adriaan Moors , Frank Piessens , and Martin Odersky . Towards equal rights for higher-kinded types . In Proceedings MPOOL , 2007 . Adriaan Moors, Frank Piessens, and Martin Odersky. Towards equal rights for higher-kinded types. In Proceedings MPOOL, 2007."},{"key":"e_1_3_2_1_86_1","volume-title":"Proceedings Haskell Workshop","author":"Nordin Thomas","year":"1997","unstructured":"Thomas Nordin and Simon Peyton Jones . Green Card : a Foreign-language Interface for Haskell . In Proceedings Haskell Workshop , 1997 . Thomas Nordin and Simon Peyton Jones. Green Card: a Foreign-language Interface for Haskell. In Proceedings Haskell Workshop, 1997."},{"key":"e_1_3_2_1_87_1","volume-title":"editors","author":"Oram Andy","year":"2007","unstructured":"Andy Oram and Greg Wilson , editors . Beautiful Code : Leading Programmers Explain How They Think. O'Reilly , 2007 . Andy Oram and Greg Wilson, editors. Beautiful Code: Leading Programmers Explain How They Think. O'Reilly, 2007."},{"key":"e_1_3_2_1_88_1","volume-title":"Proceedings IWACO","author":"Parkinson Matthew","year":"2007","unstructured":"Matthew Parkinson . Class invariants : The end of the road ? In Proceedings IWACO , 2007 . Matthew Parkinson. Class invariants: The end of the road? In Proceedings IWACO, 2007."},{"key":"e_1_3_2_1_89_1","volume-title":"Types and Programming Languages","author":"Pierce Benjamin C.","year":"2002","unstructured":"Benjamin C. Pierce . Types and Programming Languages . The MIT Press , Cambridge, Massachusetts , 2002 . Benjamin C. Pierce. Types and Programming Languages. The MIT Press, Cambridge, Massachusetts, 2002."},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1155\/2005\/962135"},{"key":"e_1_3_2_1_91_1","volume-title":"Journ\u00e9es Francophones des Langages Applicatifs","author":"Pucella Riccardo","year":"1999","unstructured":"Riccardo Pucella , Erik Meijer , and Dino Oliva . Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel . In Journ\u00e9es Francophones des Langages Applicatifs , 1999 . Riccardo Pucella, Erik Meijer, and Dino Oliva. Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel. In Journ\u00e9es Francophones des Langages Applicatifs, 1999."},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2006.6"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_4"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_17"},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360230"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289437"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317790"},{"key":"e_1_3_2_1_99_1","volume-title":"Meijer Simon Peyton Jones and Daan Leijen. Scripting COM Components in Haskell. In Proceedings Software Reuse","author":"Erik","year":"1998","unstructured":"Erik Meijer Simon Peyton Jones and Daan Leijen. Scripting COM Components in Haskell. In Proceedings Software Reuse , 1998 . Erik Meijer Simon Peyton Jones and Daan Leijen. Scripting COM Components in Haskell. In Proceedings Software Reuse, 1998."},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004392"}],"event":{"name":"OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Montreal Quebec Canada","acronym":"OOPSLA07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297078","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1297027.1297078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:58:27Z","timestamp":1750244307000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,21]]},"references-count":99,"alternative-id":["10.1145\/1297027.1297078","10.1145\/1297027"],"URL":"https:\/\/doi.org\/10.1145\/1297027.1297078","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1297105.1297078","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,21]]},"assertion":[{"value":"2007-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}