{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:37Z","timestamp":1772163997885,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,10,19]],"date-time":"2008-10-19T00:00:00Z","timestamp":1224374400000},"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":[[2008,10,19]]},"DOI":"10.1145\/1449764.1449798","type":"proceedings-article","created":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T08:25:44Z","timestamp":1224663944000},"page":"423-438","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Generics of a higher kind"],"prefix":"10.1145","author":[{"given":"Adriaan","family":"Moors","sequence":"first","affiliation":[{"name":"Katholieke Universiteit Leuven, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Piessens","sequence":"additional","affiliation":[{"name":"Katholieke Universiteit Leuven, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[{"name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(95)00010-0"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0024"},{"key":"e_1_3_2_1_3_1","volume-title":"Adding type constructor parameterization to Java. Accepted to the workshop on Formal Techniques for Java-like Programs (FTfJP'07) at the European Conference on Object-Oriented Programming (ECOOP)","author":"Altherr P.","year":"2007","unstructured":"P. Altherr and V. Cremet . Adding type constructor parameterization to Java. Accepted to the workshop on Formal Techniques for Java-like Programs (FTfJP'07) at the European Conference on Object-Oriented Programming (ECOOP) , 2007 . P. Altherr and V. Cremet. Adding type constructor parameterization to Java. Accepted to the workshop on Formal Techniques for Java-like Programs (FTfJP'07) at the European Conference on Object-Oriented Programming (ECOOP), 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00175-4"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_13"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.10.004"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90044-I"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"K. B.\n      Bruce M.\n      Odersky and \n      P.\n      Wadler\n  . \n  A statically safe alternative to virtual types\n  . In E. Jul editor ECOOP volume \n  1445\n   of \n  Lecture Notes in Computer Science pages \n  523\n  --\n  549\n  . \n  Springer 1998\n  .   K. B. Bruce M. Odersky and P. Wadler. A statically safe alternative to virtual types. In E. Jul editor ECOOP volume 1445 of Lecture Notes in Computer Science pages 523--549. Springer 1998.","DOI":"10.1007\/BFb0054106"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"K. B.\n      Bruce A.\n      Schuett and \n      R.\n      van Gent\n    .\n  PolyTOIL: A type-safe polymorphic object-oriented language\n  . In W. G. Olthoff editor ECOOP volume \n  952\n   of \n  Lecture Notes in Computer Science pages \n  27\n  --\n  51\n  . \n  Springer 1995\n  .   K. B. Bruce A. Schuett and R. van Gent. PolyTOIL: A type-safe polymorphic object-oriented language. In W. G. Olthoff editor ECOOP volume 952 of Lecture Notes in Computer Science pages 27--51. Springer 1995.","DOI":"10.1007\/3-540-49538-X_3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99392"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73566"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"L.\n      Cardelli\n    .\n  Types for data-oriented languages\n  . In J. W. Schmidt S. Ceri and M. Missikoff editors EDBT volume \n  303\n   of \n  Lecture Notes in Computer Science pages \n  1\n  --\n  15\n  . \n  Springer 1988\n  .   L. Cardelli. Types for data-oriented languages. In J. W. Schmidt S. Ceri and M. Missikoff editors EDBT volume 303 of Lecture Notes in Computer Science pages 1--15. Springer 1988.","DOI":"10.1007\/3-540-19074-0_44"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"J.\n      Carette O.\n      Kiselyov and     \n      C.\n  chieh Shan. Finally tagless partially evaluated\n  . In Z. Shao editor APLAS volume \n  4807\n   of \n  Lecture Notes in Computer Science pages \n  222\n  --\n  238\n  . \n  Springer 2007\n  .   J. Carette O. Kiselyov and C. chieh Shan. Finally tagless partially evaluated. In Z. Shao editor APLAS volume 4807 of Lecture Notes in Computer Science pages 222--238. Springer 2007.","DOI":"10.1007\/978-3-540-76637-7_15"},{"key":"e_1_3_2_1_15_1","volume-title":"Class families","author":"Chakravarty M.","year":"2007","unstructured":"M. Chakravarty , S. L. P. Jones , M. Sulzmann , and T. Schrijvers . Class families , 2007 . On the GHC Developer wiki, http:\/\/hackage.haskell.org\/trac\/ghc\/wiki\/TypeFunctions\/ClassFamilies. M. Chakravarty, S. L. P. Jones, M. Sulzmann, and T. Schrijvers. Class families, 2007. On the GHC Developer wiki, http:\/\/hackage.haskell.org\/trac\/ghc\/wiki\/TypeFunctions\/ClassFamilies."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040306"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00062-2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2008.7.5.a2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_18"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"E.\n      Ernst\n    .\n  Family polymorphism\n  . In J. L. Knudsen editor ECOOP volume \n  2072\n   of \n  Lecture Notes in Computer Science pages \n  303\n  --\n  326\n  . \n  Springer 2001\n  .   E. Ernst. Family polymorphism. In J. L. Knudsen editor ECOOP volume 2072 of Lecture Notes in Computer Science pages 303--326. Springer 2001.","DOI":"10.1007\/3-540-45337-7_17"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289455"},{"key":"e_1_3_2_1_23_1","volume-title":"Paris VII","author":"Girard J.","year":"1972","unstructured":"J. Girard . Interpretation fonctionelle et elimination des coupures de l'arithmetique d'ordre superieur. Th\u00e8se d'\u00c9tat , Paris VII , 1972 . J. Girard. Interpretation fonctionelle et elimination des coupures de l'arithmetique d'ordre superieur. Th\u00e8se d'\u00c9tat, Paris VII, 1972."},{"key":"e_1_3_2_1_24_1","volume-title":"The","author":"Gosling J.","year":"2005","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . Java(TM) Language Specification , The ( 3 rd Edition) ( Java (Addison-Wesley)) . Addison--Wesley Professional, 2005 . J. Gosling, B. Joy, G. Steele, and G. Bracha. Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)). Addison--Wesley Professional, 2005.","edition":"3"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167499"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449935"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238856"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/130697.130699"},{"key":"e_1_3_2_1_29_1","volume-title":"Technical Report UU-CS-1999-28","author":"Hughes J.","year":"1999","unstructured":"J. Hughes . Restricted datatypes in Haskell . Technical Report UU-CS-1999-28 , Department of Information and Computing Sciences , Utrecht University , 1999 . J. Hughes. Restricted datatypes in Haskell. Technical Report UU-CS-1999-28, Department of Information and Computing Sciences, Utrecht University, 1999."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_32_1","unstructured":"M. P. Jones. constructor classes & 'set' monad? 1994. http:\/\/groups.google.com\/group\/comp.lang.functional\/msg\/e10290b2511c65f0.  M. P. Jones. constructor classes & 'set' monad? 1994. http:\/\/groups.google.com\/group\/comp.lang.functional\/msg\/e10290b2511c65f0."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001210"},{"key":"e_1_3_2_1_34_1","unstructured":"E. Kidd. How to make data.set a monad 2007. http:\/\/www.randomhacks.net\/articles\/2007\/03\/15\/data-set-monad-haskell-macros.  E. Kidd. How to make data.set a monad 2007. http:\/\/www.randomhacks.net\/articles\/2007\/03\/15\/data-set-monad-haskell-macros."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176686"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297078"},{"key":"e_1_3_2_1_38_1","volume-title":"6th International Workshop on Multiparadigm Programming with Object-Oriented Languages at the European Conference on Object-Oriented Programming (ECOOP)","author":"Moors A.","year":"2007","unstructured":"A. Moors , F. Piessens , and M. Odersky . Towards equal rights for higher-kinded types . Accepted for the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages at the European Conference on Object-Oriented Programming (ECOOP) , 2007 . A. Moors, F. Piessens, and M. Odersky. Towards equal rights for higher-kinded types. Accepted for the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages at the European Conference on Object-Oriented Programming (ECOOP), 2007."},{"key":"e_1_3_2_1_40_1","volume-title":"Proc. FOOL '08","author":"Moors A.","year":"2008","unstructured":"A. Moors , F. Piessens , and M. Odersky . Safe type-level abstraction in Scala . In Proc. FOOL '08 , Jan. 2008 . http:\/\/fool08.kuis.kyoto-u.ac.jp\/. A. Moors, F. Piessens, and M. Odersky. Safe type-level abstraction in Scala. In Proc. FOOL '08, Jan. 2008. http:\/\/fool08.kuis.kyoto-u.ac.jp\/."},{"key":"e_1_3_2_1_41_1","volume-title":"July","author":"Odersky M.","year":"2006","unstructured":"M. Odersky . Poor man's type classes , July 2006 . Talk at IFIP WG 2.8, Boston . M. Odersky. Poor man's type classes, July 2006. Talk at IFIP WG 2.8, Boston."},{"key":"e_1_3_2_1_42_1","volume-title":"EPFL","author":"Odersky M.","year":"2007","unstructured":"M. Odersky . The Scala Language Specification, Version 2.6 . EPFL , Nov. 2007 . http:\/\/www.scala-lang.org\/docu\/files\/ScalaReference.pdf. M. Odersky. The Scala Language Specification, Version 2.6. EPFL, Nov. 2007. http:\/\/www.scala-lang.org\/docu\/files\/ScalaReference.pdf."},{"key":"e_1_3_2_1_43_1","volume-title":"An Overview of the Scala Programming Language (2. edition). Technical report","author":"Odersky M.","year":"2006","unstructured":"M. Odersky , P. Altherr , V. Cremet , I. Dragos , G. Dubochet , B. Emir , S. McDirmid , S. Micheloud , N. Mihaylov , M. Schinz , L. Spoon , E. Stenman , and M. Zenger . An Overview of the Scala Programming Language (2. edition). Technical report , 2006 . M. Odersky, P. Altherr, V. Cremet, I. Dragos, G. Dubochet, B. Emir, S. McDirmid, S. Micheloud, N. Mihaylov, M. Schinz, L. Spoon, E. Stenman, and M. Zenger. An Overview of the Scala Programming Language (2. edition). Technical report, 2006."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"M.\n      Odersky V.\n      Cremet C.\n      R\u00f6ckl and \n      M.\n      Zenger\n  . \n  A nominal theory of objects with dependent types\n  . In L. Cardelli editor ECOOP volume \n  2743\n   of \n  Lecture Notes in Computer Science pages \n  201\n  --\n  224\n  . \n  Springer 2003\n  .  M. Odersky V. Cremet C. R\u00f6ckl and M. Zenger. A nominal theory of objects with dependent types. In L. Cardelli editor ECOOP volume 2743 of Lecture Notes in Computer Science pages 201--224. Springer 2003.","DOI":"10.1007\/978-3-540-45070-2_10"},{"key":"e_1_3_2_1_45_1","volume-title":"Artima","author":"Odersky M.","year":"2008","unstructured":"M. Odersky , L. Spoon , and B. Venners . Programming in Scala . Artima , 2008 . M. Odersky, L. Spoon, and B. Venners. Programming in Scala. Artima, 2008."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360207"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094815"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/141936.141940"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00096-5"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/647323.721503"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.040"},{"key":"e_1_3_2_1_52_1","volume-title":"Universit\u00e4t Erlangen-N\u00fcrnberg","author":"Steffen M.","year":"1998","unstructured":"M. Steffen . Polarized Higher--Order Subtyping. PhD thesis , Universit\u00e4t Erlangen-N\u00fcrnberg , 1998 . M. Steffen. Polarized Higher--Order Subtyping. PhD thesis, Universit\u00e4t Erlangen-N\u00fcrnberg, 1998."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","unstructured":"K. K.\n      Thorup\n     and \n      M.\n      Torgersen\n  . \n  Unifying genericity -- combining the benefits of virtual types and parameterized classes\n  . In R. Guerraoui editor ECOOP volume \n  1628\n   of \n  Lecture Notes in Computer Science pages \n  186\n  --\n  204\n  . \n  Springer 1999\n  .   K. K. Thorup and M. Torgersen. Unifying genericity -- combining the benefits of virtual types and parameterized classes. In R. Guerraoui editor ECOOP volume 1628 of Lecture Notes in Computer Science pages 186--204. Springer 1999.","DOI":"10.1007\/3-540-48743-3_9"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001560"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59451-5_2"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"S.\n      Wehr R.\n      L\u00e4mmel and \n      P.\n      Thiemann\n  . \n  JavaGI: Generalized interfaces for Java\n  . In E. Ernst editor ECOOP volume \n  4609\n   of \n  Lecture Notes in Computer Science pages \n  347\n  --\n  372\n  . \n  Springer 2007\n  .   S. Wehr R. L\u00e4mmel and P. Thiemann. JavaGI: Generalized interfaces for Java. In E. Ernst editor ECOOP volume 4609 of Lecture Notes in Computer Science pages 347--372. Springer 2007.","DOI":"10.1007\/978-3-540-73589-2_17"}],"event":{"name":"OOPSLA08: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications","location":"Nashville TN USA","acronym":"OOPSLA08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1449764.1449798","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1449764.1449798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:56:15Z","timestamp":1750240575000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1449764.1449798"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,19]]},"references-count":53,"alternative-id":["10.1145\/1449764.1449798","10.1145\/1449764"],"URL":"https:\/\/doi.org\/10.1145\/1449764.1449798","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1449955.1449798","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,10,19]]},"assertion":[{"value":"2008-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}