Associated type synonyms

ACM SIGPLAN Notices

Volumn 40, Issue 9, 2005, Pages 241-253

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

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Associated types; Generic programming; Type classes; Type functions; Type inference

Indexed keywords

ASSOCIATED TYPES; GENERIC PROGRAMMING; TYPE CLASSES; TYPE FUNCTIONS; TYPE INFERENCE;

DATA STRUCTURES; FUNCTIONS;

COMPUTER PROGRAMMING;

EID: 33745211018     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1090189.1086397     Document Type: Article

References (32)

1. Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, and Simon Marlow. Associated types with class. In Martin Abadi, editor, Conference Record, of POPL 2005: The 32nd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pages 1-13. ACM Press, 2005.
2. James Cheney and Ralf Hinze. First-class phantom types. Technical Report TR2003-1901, Cornell University, 2003.
3. Dominique Clément, Thierry Despeyroux, Gilles Kahn, and Joëlle Despeyroux. A simple applicative language: mini-ML. In LFP '86: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, pages 13-27, New York, NY, USA, 1986. ACM Press.
4. Olivier Danvy. Functional unparsing. J. Fund. Program., 8(6):621-625, 1998.
5. 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.
6. 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.
7. Karl-Filip Faxen. A static semantics for Haskell. Journal of Functional Programming, 12(4+5), 2002.
8. 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.
9. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, and Philip L. Wadler. Type classes in Haskell. ACM Trans. Program. Lang. Syst., 18(2): 109-138, 1996.
10. Ralf Hinze. Formatting: A class act. Journal of Functional Programming, 13:935-944, 2003.
11. 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.
12. Mark P. Jones. A theory of qualified types. In ESOP'92: Symposium proceedings on 4th European symposium on programming, pages 287-306, London, UK, 1992. Springer-Verlag.
13. Mark P. Jones. Simplifying and improving qualified types. In FPCA '95: Conference on Functional Programming Languages and Computer Architecture. ACM Press, 1995.
14. Mark P. Jones. A system of constructor classes: Overloading and implicit higher-order polymorphism. Journal of Functional Programming, 5(1), 1995.
15. 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.
16. Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalised algebraic data types, http://research. microsoft.com/Users/simonpj/papers/gadt/index.htm, 2004.
17. Oleg Kiselyov. Functions with the variable number (of variously typed) arguments. http://okmij.org/ftp/Haskell/ vararg-fn.lhs, 2004.
18. Oleg Kiselyov, Ralf Lämmel, and Keean Schupke. Strongly typed heterogeneous collections. In Haskell '04: Proceedings of the ACM SIGPLAN Workshop on Haskell, pages 96-107, New York, NY, USA, 2004. ACM Press.
19. J. W. Klop. Term rewriting systems. In S. Abramsky D. M. Gabbay and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, pages 1-116. Oxford University Press, 1992.
20. Nathan C. Myers. Traits: a new and useful template technique. C+ + Report, June 1995.
21. Matthias Neubauer and Peter Thiemann. Type classes with more higher-order polymorphism. In ICFP '02: Proceedings of the. seventh. ACM SIGPLAN international conference on Functional programming, pages 179-190, New York, NY, USA, 2002. ACM Press.
22. Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber. Functional logic overloading. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium, on Principles of programming languages, pages 233-244. ACM Press, 2002.
23. Martin Odersky, Martin Sulzmann, and Martin Wehr. Type inference with constrained types. Theory and Practice of Object Systems, 5(1), 1999.
24. Didier Rémy. Extending ML type system with a sorted equational theory. Research Report 1766, INRIA Rocquencourt, 1992.
25. Tim Sheard. Languages of the future. In OOPSLA '04: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 116-119, New York, NY, USA, 2004. ACM Press.
26. Tim Sheard and Simon Peyton Jones. Template meta-programming for Haskell. ACM SIGPLAN Notices: PLI Workshops, 37(12):60-75, 2002.
27. Jeremy Siek and Andrew Lumsdaine. Essential language support for generic programming. SIGPLAN Not., 40(6):73-84, 2005.
28. Jeremy G. Siek, Lie-Quan Lee, and Andrew Lumsdaine. The Boost Graph Library User Guide and Reference Manual. Addison-Wesley, 2001.
29. A. A. Stepanov and M. Lee. The standard template library. Technical Report X3J16/94-0095, WG21/N0482, ISO Programming Language C++Project, 1994.
30. Peter J. Stuckey and Martin Sulzmann. A theory of overloading. ACM Transactions on Programming Languages and Systems, 2004. To appear.
31. The GHC Team. The Glasgow Haskell Compiler, http://haskell. org/ghc/documentation.html.
32. 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.