Associated types with class

ACM SIGPLAN Notices

Volumn 40, Issue 1, 2005, Pages 1-13

  Chakravarty, Manuel M T ^a   Keller, Gabriele ^a   Jones, Simon Peyton ^b   Marlow, Simon ^b  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Associated types; Self optimising libraries; Type classes; Type directed translation; Type indexed types

Indexed keywords

ALGORITHMS; FUNCTIONS; INDEXING (OF INFORMATION); LIBRARIES; PROGRAM COMPILERS; VECTORS;

ASSOCIATED TYPES; SELF-OPTIMISING LIBRARIES; TYPE CLASSES; TYPE-DIRECTED TRANSLATION; TYPE-INDEXED TYPES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 17044399230     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1047659.1040306     Document Type: Conference Paper

References (39)

1. Artem Alimarine and Rinus Plasmeijer. A generic programming extension for Clean. In International Workshop on the Implementation of Functional Languages, number 2312 in Lecture Notes in Computer Science, pages 168-185. Springer-Verlag, 2001.
2. Manuel M. T. Chakravarty and Gabriele Keller. An approach to fast arrays in Haskell. In Johan Jeuring and Simon Peyton Jones, editors, Lecture notes for The Summer School and Workshop on Advanced Functional Programming 2002, number 2638 in Lecture Notes in Computer Science, 2003.
3. Kung Chen, Paul Hudak, and Martin Odersky. Parametric type classes. In ACM Conference on Lisp and Functional Programming. ACM Press, 1992.
4. James Cheney and Ralf Hinze. First-class phantom types. CUCIS TR2003-1901, Cornell University, 2003.
5. Karl Crary and Stephanie Weirich. Flexible type analysis. In International Conference on Functional Programming, 1999.
6. Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type-erasure semantics. In ACM SIGPLAN International Conference on Functional Programming, pages 301-312. ACM Press, 1998.
7. Derek Dreyer, Karl Crary, and Robert Harper. A type system for higher-order modules. In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 236-249, 2003.
8. Gregory J. Duck, Simon Peyton Jones, Peter J. Stuckey, and Martin Sulzmann. Sound and decidable type inference for functional dependencies. In ESOP;04, LNCS. Springer-Verlag, 2004.
9. Dominic Duggan. Dynamic typing for distributed programming in polymorphic languages. Transactions on Programming Languages and Systems, 21(1):11-45, 1999.
10. Karl-Filip Faxén. A static semantics for Haskell. Journal of Functional Programming, 12(4+5), 2002.
11. Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, and Jeremiah Willcock. A comparative study of language support for generic programming. In Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications, pages 115-134. ACM Press, 2003.
12. Cordelia Hall, Kevin Hammond, Simon Peyton Jones, and Philip Wadler. Type classes in Haskell. In European Symposium On Programming, number 788 in LNCS, pages 241-256. Springer-Verlag, 1994.
13. Robert Harper and John C. Mitchell. Parametricity and variants of Girard's J operator. Information Processing Letters, 70(1):1-5, 1999.
14. Robert Harper, John C. Mitchell, and Eugenio Moggi. Higher-order modules and the phase distinction. In Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 341-354. ACM Press, 1989.
15. Robert Harper and Greg Morrisett. Compiling polymorphism using intensional type analysis. In 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 130-141. ACM Press, 1995.
16. Ralf Hinze. Generalizing generalized tries. Journal of Functional Programming, 10(4):327-351, 2000.
17. Ralf Hinze and Johan Jeuring. Generic Haskell: Applications. In Roland Backhouse and Jeremy Gibbons, editors, Lecture notes for The Summer School and Workshop on Generic Programming 2002, number 2793 in Lecture Notes in Computer Science, 2003.
18. Ralf Hinze, Johan Jeuring, and Andres Löh. Type-indexed data types. In Eerke Boiten and Bernhard Möller, editors, Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), number 2386 in Lecture Notes in Computer Science, pages 148-174. Springer-Verlag, 2002.
19. Ralf Hinze and Simon Peyton Jones. Derivable type classes. In Graham Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.
20. Mark P. Jones. Simplifying and improving qualified types. In FPCA '95: Conference on Functional Programming Languages and Computer Architecture. ACM Press, 1995.
21. Mark P. Jones. A system of constructor classes: Overloading and implicit higher-order polymorphism. Journal of Functional Programming, 5(1), 1995.
22. Mark P. Jones. Type classes with functional dependencies. In Proceedings of the 9th European Symposium on Programming (ESOP 2000), number 1782 in Lecture Notes in Computer Science. Springer-Verlag, 2000.
23. Ralf Lämmel. The sketch of a polymorphic symphony. In 2nd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002), volume 70 of ENTCS. Elsevier Science, 2002.
24. Ralf Lämmel and Simon Peyton Jones. Scrap your boilerplate: a practical approach to generic programming. In Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), pages 26-37, 2003.
25. Xavier Leroy. Manifest types, modules, and separate compilation. In 21st Symposium Principles of Programming Languages, pages 109-122. ACM Press, 1994.
26. Andres Loh, Dave Clarke, and Johan Jeuring. Dependency-style Generic Haskell. In Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, pages 141-152. ACM Press, 2003.
27. Nathan C. Myers. Traits: a new and useful template technique. C++ Report, June 1995.
28. Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber. A functional notation for functional dependencies. In 2001 ACM SIGPLAN Haskell Workshop, 2001.
29. Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber. Functional logic overloading. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, 2002.
30. Martin Odersky, Martin Sulzmann, and Martin Wehr. Type inference with constrained types. Theory and Practice of Object Systems, 5(1), 1999.
31. Chris Okasaki and Andy Gill. Fast mergeable integer maps. In Workshop on ML, pages 77-86, 1998.
32. Zhong Shao. Flexible representation analysis. In Proceedings ACM SIGPLAN International Conference on Functional Programming, pages 85-98, 1997.
33. Jeremy G. Siek, Lie-Quan Lee, and Andrew Lumsdaine. The Boost Graph Library User Guide and Reference Manual. Addison-Wesley, 2001.
34. Jeremy G. Siek and Andrew Lumsdaine. The matrix template library: Generic components for high-performance scientific computing. Computing in Science and Engineering, 1(6):70-78, 1999.
35. A. A. Stepanov and M. Lee. The standard template library. Technical Report X3J16/94-0095, WG21/N0482, ISO Programming Language C++ Project, 1994.
36. Peter J. Stuckey and Martin Sulzmann. A theory of overloading. ACM Transaction on Programming Languages and Systems, 2004. To appear.
37. Stephanie Weirich. Type-safe cast: Functional pearl. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00). ACM Press, 2000.
38. Stephanie Weirich. Higher-order intensional type analysis. In European Symposium on Programming (ESOP02), 2002.
39. Hongwei Xi, Chiyan Chen, and Gang Chen. Guarded recursive datatype constructors. In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 224-235. ACM Press, 2003.