Generics of a higher kind

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2008, Pages 423-438

  Moors, Adriaan ^a   Piessens, Frank ^a   Odersky, Martin ^b  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b EPFL   (Switzerland)

Author keywords

Higher kinded types; Higher order genericity; Scala; Type constructor polymorphism

Indexed keywords

ABSTRACT TYPES; CODE DUPLICATIONS; FIRST ORDERS; FIRST-ORDER VARIANTS; HIGHER-KINDED TYPES; HIGHER-ORDER GENERICITY; OBJECT-ORIENTED; OBJECT-ORIENTED PROGRAMMING LANGUAGES; PARAMETRIC POLYMORPHISMS; SCALA; TYPE CONSTRUCTOR POLYMORPHISM;

ABSTRACTING; COMPUTER SYSTEMS PROGRAMMING; LINGUISTICS; POLYMORPHISM; QUERY LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 63749095092     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449764.1449798     Document Type: Conference Paper

References (57)

1. M. ABADI AND L. CARDELLI. A THEORY OF PRIMITIVE OBJECTS: SECOND-ORDER SYSTEMS. SCI COMPUT. PROGRAM., 25(2-3):81-116, 1995.
2. M. ABADI AND L. CARDELLI. A THEORY OF PRIMITIVE OBJECTS: UNTYPED AND FIRST-ORDER SYSTEMS. INF. COMPUT., 125(2):78-102, 1996.
3. 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.
4. D. ASPINALL AND A. B. COMPAGNONI. SUBTYPING DEPENDENT TYPES. THEOR. COMPUT. SCI., 266(1-2):273-309, 2001.
5. G. M. BIERMAN, E. MEIJER, AND W. SCHULTE. THE ESSENCE OF DATA ACCESS IN COMEGA. IN A. P. BLACK, EDITOR, ECOOP, VOLUME 3586 OF LECTURE NOTES IN COMPUTER SCIENCE, PAGES 287-311. SPRINGER, 2005.
6. G. BRACHA. EXECUTABLE GRAMMARS IN NEWSPEAK. ELECTRON. NOTES THEOR. COMPUT. SCC., 193:3-18, 2007.
7. K. B. BRUCE, A. R. MEYER, AND J. C. MITCHELL. THE SEMANTICS OF SECOND-ORDER LAMBDA CALCULUS. INF. COMPUT., 85(1):76-134, 1990.
8. 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.
9. K. B. BRUCE, A. SCHUETT, AND R. VAN GENT. POLYTOIL: A TYPESAFE POLYMORPHIC OBJECT-ORIENTED LANGUAGE. IN W. G. OLTHOFF, EDITOR, ECOOP, VOLUME 952 OF LECTURE NOTES IN COMPUTER SCIENCE, PAGES 27-51. SPRINGER, 1995.
10. P. S. CANNING, W. R. COOK, W. L. HILL, W. G. OLTHOFF, AND J. C. MITCHELL. F-BOUNDED POLYMORPHISM FOR OBJECT-ORIENTED PROGRAMMING. IN FPCA, PAGES 273-280, 1989.
11. L. CARDELLI. STRUCTURAL SUBTYPING AND THE NOTION OF POWER TYPE. IN POPL, PAGES 70-79, 1988.
12. 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.
13. L. CARDELLI AND P. WEGNER. ON UNDERSTANDING TYPES, DATA ABSTRACTION, AND POLYMORPHISM. ACM COMPUTING SURVEYS, 17(4):471-522, 1985.
14. 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.
15. 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.
16. M. M. T. CHAKRAVARTY, G. KELLER, S. L. P. JONES, AND S. MARLOW. ASSOCIATED TYPES WITH CLASS. IN J. PALSBERG AND M. ABADI, EDITORS, POPL, PAGES 1-13. ACM, 2005.
17. A. B. COMPAGNONI AND H. GOGUEN. TYPED OPERATIONAL SEMANTICS FOR HIGHER-ORDER SUBTYPING. INF. COMPUT., 184(2):242-297, 2003.
18. V. CREMET AND P. ALTHERR. ADDING TYPE CONSTRUCTOR PARAMETERIZATION TO JAVA. JOURNAL OF OBJECT TECHNOLOGY, 7(5):25-65, JUNE 2008. SPECIAL ISSUE: WORKSHOP ON FTFJP, ECOOP 07. HTTP://WWW.JOT.FM/ISSUES/ISSUE-2008-06/ARTICLE2/.
19. B. EMIR, A. KENNEDY, C. V. RUSSO, AND D. YU. VARIANCE AND GENERALIZED CONSTRAINTS FOR C GENERICS. IN D. THOMAS, EDITOR, ECOOP, VOLUME 4067 OF LECTURE NOTES IN COMPUTER SCIENCE, PAGES 279-303. SPRINGER, 2006.
20. E. ERNST. GBETA - A LANGUAGE WITH VIRTUAL ATTRIBUTES, BLOCK STRUCTURE, AND PROPAGATING, DYNAMIC INHERITANCE. PHD THESIS, DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF AARHUS, ÅRHUS, DENMARK, 1999.
21. E. ERNST. FAMILY POLYMORPHISM. IN J. L. KNUDSEN, EDITOR, ECOOP, VOLUME 2072 OF LECTURE NOTES IN COMPUTER SCIENCE, PAGES 303-326. SPRINGER, 2001.
22. J. GIBBONS AND G. JONES. THE UNDER-APPRECIATED UNFOLD. IN ICFP, PAGES 273-279, 1998.
23. J. GIRARD. INTERPRETATION FONCTIONELLE ET ELIMINATION DES COUPURES DE L'ARITHMETIQUE D'ORDRE SUPERIEUR. THÈSE D'ÉTAT, PARIS VII, 1972.
24. J. GOSLING, B. JOY, G. STEELE, AND G. BRACHA. JAVA(TM) LANGUAGE SPECIFICATION, THE (3RD EDITION) (JAVA (ADDISON- WESLEY)). ADDISON-WESLEY PROFESSIONAL, 2005.
25. D. GREGOR, J. JǍRVI, J. G. SIEK, B. STROUSTRUP, G. D. REIS, AND A. LUMSDAINE. CONCEPTS: LINGUISTIC SUPPORT FOR GENERIC PROGRAMMING IN C++. IN P. L. TARR AND W. R. COOK, EDITORS, OOPSLA, PAGES 291-310. ACM, 2006.
26. C. HOFER, K. OSTERMANN, T. RENDEL, AND A. MOORS. POLYMORPHIC EMBEDDING OF DSLS. IN Y. SMARAGDAKIS AND J. SIEK, EDITORS, GPCE. ACM, 2008. TO APPEAR.
27. P. HUDAK, J. HUGHES, S. L. P. JONES, AND P. WADLER. A HISTORY OF HASKELL: BEING LAZY WITH CLASS. IN B. G. RYDER AND B. HAILPERN, EDITORS, HOPL, PAGES 1-55. ACM, 2007.
28. P. HUDAK, S. L. P. JONES, P. WADLER, B. BOUTEL, J. FAIRBAIRN, J. H. FASEL, M. M. GUZMÁN, K. HAMMOND, J. HUGHES, T. JOHNSSON, R. B. KIEBURTZ, R. S. NIKHIL, W. PARTAIN, AND J. PETERSON. REPORT ON THE PROGRAMMING LANGUAGE HASKELL, A NON-STRICT, PURELY FUNCTIONAL LANGUAGE. SIGPLAN NOTICES, 27(5):R1-R164, 1992.
29. J. HUGHES. RESTRICTED DATATYPES IN HASKELL. TECHNICAL REPORT UU-CS-1999-28, DEPARTMENT OF INFORMATION AND COMPUTING SCIENCES, UTRECHT UNIVERSITY, 1999.
30. G. HUTTON AND E. MEIJER. MONADIC PARSER COMBINATORS. TECHNICAL REPORT NOTTCS-TR-96-4, DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF NOTTINGHAM, 1996.
31. A. IGARASHI, B.C. PIERCE, AND P. WADLER. FEATHERWEIGHT JAVA: A MINIMAL CORE CALCULUS FOR JAVA AND GJ. ACM TRANS. PROGRAM. LANG. SYST., 23(3):396-450, 2001.
32. M. P. JONES. CONSTRUCTOR CLASSES & ;SET" MONAD?, 1994. HTTP://GROUPS.GOOGLE.COM/GROUP/COMP. IANG.FUNCTIONAL/MSG/E102 90B2511C65F0.
33. M. P. JONES. A SYSTEM OF CONSTRUCTOR CLASSES: OVERLOADING AND IMPLICIT HIGHER-ORDER POLYMORPHISM. J. FUNCT PROGRAM., 5(L):L-35, 1995.
34. E. KIDD. HOW TO MAKE DATA.SET A MONAD, 2007. HTTP://WWW.RANDOMHACKS.NET/ ARTICLES/2007/03/15/DATA-SET-MONAD-HASKELL-MACROS.
35. D. LEIJEN AND E. MEIJER. PARSEC: DIRECT STYLE MONADIC PARSER COMBINATORS FOR THE REAL WORLD. TECHNICAL REPORT UU-CS- 2001-27, DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITEIT UTRECHT, 2001.
36. E. MEIJER. THERE IS NO IMPEDANCE MISMATCH: (LANGUAGE INTEGRATED QUERY IN VISUAL BASIC 9). IN P. L. TARR AND W. R. COOK, EDITORS, OOPSLA COMPANION, PAGES 710-711. ACM, 2006.
37. E. MEIJER. CONFESSIONS OF A USED PROGRAMMING LANGUAGE SALESMAN. IN R. P. GABRIEL, D. F. BACON, C. V. LOPES, AND G. L. S. JR., EDITORS, OOPSLA, PAGES 677-694. ACM, 2007.
38. 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.
39. A. MOORS, F. PIESSENS, AND M. ODERSKY. PARSER COMBINATORS IN SCALA. TECHNICAL REPORT CW491, DEPARTMENT OF COMPUTER SCIENCE, K.U. LEUVEN, 2008. HTTP://WWW. CS .KULEUVEN.BE/PUBLICATIES/RAPPORTEN/CW/CW491.ABS.HTML.
40. A. MOORS, F. PIESSENS, AND M. ODERSKY. SAFE TYPE-LEVEL ABSTRACTION IN SCALA. IN PROC. FOOL '08, JAN. 2008. HTTP://FOO108.KUIS.KYOTO-U.AC.JP/.
41. M. ODERSKY. POOR MAN'S TYPE CLASSES, JULY 2006. TALK AT IFIP WG 2.8, BOSTON.
42. M. ODERSKY. THE SCALA LANGUAGE SPECIFICATION, VERSION 2.6. EPFL, NOV. 2007. HTTP://WWW.SCALA-LANG.ORG/DOCU/FILES/SCALAREFERENCE.PDF.
43. 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.
44. M. ODERSKY, V. CREMET, C. RÖCKL, 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.
45. M. ODERSKY, L. SPOON, AND B. VENNERS. PROGRAMMING IN SCALA. ARTIMA, 2008.
46. M. ODERSKY, C. ZENGER, AND M. ZENGER. COLORED LOCAL TYPE INFERENCE. IN POPL, PAGES 41-53, 2001.
47. M. ODERSKY AND M. ZENGER. SCALABLE COMPONENT ABSTRACTIONS. IN R. JOHNSON AND R. P. GABRIEL, EDITORS, OOPSLA, PAGES 41-57. ACM, 2005.
48. H. OSSHER AND W. H. HARRISON. COMBINATION OF INHERITANCE HIERARCHIES. IN OOPSLA, PAGES 25-40, 1992.
49. B. C. PIERCE AND M. STEFFEN. HIGHER-ORDER SUBTYPING. THEOR. COMPUT. SCI., 176(L-2):235-282, 1997.
50. J. C. REYNOLDS. TOWARDS A THEORY OF TYPE STRUCTURE. IN B. ROBINET, EDITOR, SYMPOSIUM ON PROGRAMMING, VOLUME 19 OF LECTURE NOTES IN COMPUTER SCIENCE, PAGES 408-423. SPRINGER, 1974.
51. T. SHEARD. TYPE-LEVEL COMPUTATION USING NARROWING IN Ω. ELECTR. NOTES THEOR. COMPUT. SCI., 174(7):105-128, 2007.
52. M. STEFFEN. POLARIZED HIGHER-ORDER SUBTYPING. PHD THESIS, UNIVERSITÄT ERLANGEN-NÜRNBERG, 1998.
53. 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.
54. P. WADLER. COMPREHENDING MONADS. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2(4):461-493, 1992.
55. P. WADLER. MONADS FOR FUNCTIONAL PROGRAMMING. IN J. JEURING AND E. MEIJER, EDITORS, ADVANCED FUNCTIONAL PROGRAMMING, VOLUME 925 OF LECTURE NOTES IN COMPUTER SCIENCE, PAGES 24-52. SPRINGER, 1995.
56. P. WADLER AND S. BLOTT. HOW TO MAKE AD-HOC POLYMORPHISM LESS AD-HOC. IN POPL, PAGES 60-76, 1989.
57. S. WEHR, R. LÄMMEL, 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.