Scala for generic programmers

WGP'08 - Proceedings of the 2008 ACM SIGPLAN Workshop on Generic Programming

Volumn , Issue , 2008, Pages 25-36

  Oliveira, Bruno C D S ^a   Gibbons, Jeremy ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Datatype generic programming; Polytypic programming; Scala

Indexed keywords

DATATYPE-GENERIC PROGRAMMING; FUNCTIONAL OBJECTS; HASKELL; HIGHER-ORDER FUNCTIONS; LAZY FUNCTIONAL PROGRAMMING; MULTIPLE INHERITANCES; OBJECT-ORIENTED LANGUAGES; PARAMETRIC POLYMORPHISMS; PARAMETRIZATION; POLYTYPIC PROGRAMMING; SCALA; SINGLE INHERITANCES; SUBTYPING;

FUNCTIONAL PROGRAMMING; LINGUISTICS; QUERY LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 64849111659     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411318.1411323     Document Type: Conference Paper

References (48)

1. K. Bruce, L. Cardelli, G. Castagna, The Hopkins Object Group, G. T. Leavens, and B. Pierce. On binary methods. Theory and Practice of Object Systems, 1(3):221-242, 1995.
2. P. Buchlovsky and H. Thielecke. A type-theoretic reconstruction of the Visitor pattern. In Mathematical Foundations of Programming Semantics, 2005.
3. J. Cheney and R. Hinze. A lightweight implementation of generics and dynamics. In Haskell Workshop, pages 90-104, 2002.
4. R. Cockett and T. Fukushima. About Charity. Department of Computer Science, University of Calgary, May 1992.
5. W. R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.
6. A. Dijkstra and S. D. Swierstra. Making implicit parameters explicit. Technical Report UU-CS-2005-032, Department of Information and Computing Sciences, Utrecht University, 2005.
7. J. Garrigue. Code reuse through polymorphic variants. In Workshop on Foundations of Software Engineering, Sasaguri, Japan, 2000.
8. J. Gibbons. Design patterns as higher-order datatype-generic programs. In Workshop on Generic Programming, pages 1-12, 2006.
9. J. Gibbons and B. C. d. S. Oliveira. The essence of the Iterator pattern. Journal of Functional Programming, 2008.
10. C. V. Hall, K. Hammond, S. L. Peyton Jones, and P. L. Wadler. Type classes in Haskell. ACM Transactions on Programming Languages and Systems, 18(2):109-138, Mar. 1996.
11. R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Principles of Programming Languages, pages 123-137, Jan. 1994.
12. R. Hinze. Generics for the masses. Journal of Functional Programming, 16(4-5):451-483, 2006.
13. R. Hinze and J. Jeuring. Generic Haskell: Practice and theory. In LNCS 2793: Summer School on Generic Programming, Berlin, 2002.
14. R. Hinze and A. Löh. Generic programming, now! In LNCS 4719: Datatype-Generic Programming, 2007.
15. R. Hinze and S. Peyton Jones. Derivable type classes. In Haskell Workshop, 2000.
16. R. Hinze, A. Löh, and B. C. d. S. Oliveira. 'Scrap your Boilerplate' reloaded. In Functional and Logic Programming, 2006.
17. W. Kahl and J. Scheffczyk. Named instances for Haskell type classes. In Haskell Workshop, 2001.
18. R. Lämmel and S. Peyton Jones. Scrap your boilerplate: A practical design pattern for generic programming. In Types in Language Design and Implementation, pages 26-37, 2003.
19. R. Lämmel and S. Peyton Jones. Scrap your boilerplate with class: Extensible generic functions. In International Conference on Functional Programming, pages 204-215, 2005.
20. X. Leroy. Manifest types, modules, and separate compilation. In Principles of Programming Languages, pages 109-122, 1994.
21. K. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing, 1996.
22. A. Löh. Exploring Generic Haskell. PhD thesis, Utrecht University, 2004.
23. A. Löh and R. Hinze. Open data types and open functions. In Principles and Practice of Declarative Programming, pages 133-144, 2006.
24. C. McBride and R. Paterson. Applicative programming with effects. Journal of Functional Programming, 2007.
25. L. Meertens. Paramorphisms. Formal Aspects of Computing, 4(5): 413-425, 1992.
26. E. Meijer and J. Jeuring. Merging monads and folds for functional programming. In LNCS 925: Advanced Functional Programming. Springer-Verlag, 1995.
27. A. Moors. Code-follows-type programming in Scala. http://www.cs.kuleuven. be/~adriaan/?q=cft-intro, June 2007.
28. A. Moors, F. Piessens, and W. Joosen. An object-oriented approach to datatype-generic programming. In Workshop on Generic Programming, pages 96-106, 2006.
29. A. Moors, F. Piessens, and M. Odersky. Generics of a higher kind. In Object-Oriented Programming, Systems, Languages, and Applications, 2008.
30. M. Odersky. An Overview of the Scala programming language (second, edition). Technical Report IC/2006/001, EPFL Lausanne, Switzerland, 2006a.
31. M. Odersky. Poor man's type classes. http://lamp.epfl.ch/~odersky/talks/ wg2.8-boston06.pdf, July 2006b.
32. M. Odersky. Scala by example, http://scala.epfl.ch/docu/files/ScalaIntro. pdf, May 2007a.
33. M. Odersky. The Scala language specification version 2.4. http://scala.epfl.ch/docu/files/ScalaReference.pdf, May 2007b.
34. M. Odersky and K. Läufer. Putting type annotations to work. In Symposium on Principles of programming languages, pages 54-67, 1996.
35. M. Odersky and M. Zenger. Scalable component abstractions. In Object Oriented Programming, Systems, Languages, and Applications, pages 41-57, 2005.
36. B. C. d. S. Oliveira. Genericity, Extensibility and Type-Safety in the VISITOR Pattern. PhD thesis, University of Oxford, 2007.
37. B. C. d. S. Oliveira. Scala for Generic Programmers: Source code for the examples, http://web.comlab.ox.ac.uk/people/Bruno.Oliveira/Scala.tgz, June 2008.
38. B. C. d. S. Oliveira and M. Sulzmann. Objects to unify type classes and GADTs. http://www.comlab.ox.ac.uk/people/Bruno.oliveira/objects.pdf, Apr. 2008.
39. B. C. d. S. Oliveira, R. Hinze, and A. Löh. Extensible and modular generics for the masses. In Trends in Functional Programming, pages 109-138, Apr. 2006.
40. S. Peyton Jones, D. Vytiniotis, S. Weirich, and G. Washburn. Simple unification-based type inference for GADTs. In International Conference on Functional Programming, pages 50-61, 2006.
41. A. Rodriguez, J. Jeuring, P. Jansson, A. Gerdes, O. Kiselyov, and B. C. d. S. Oliveira. Comparing libraries for generic programming in Haskell. Technical Report UU-CS-2008-010, Utrecht University, 2008.
42. N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behavior. In LNCS 2743: European Conference on Object-Oriented Programming, pages 248-274, July 2003.
43. M. Schinz. A Scala tutorial for Java programmers, http://scala.epfl.ch/ docu/files/ScalaTutorial.pdf, May 2007.
44. T. Sheard and S. Peyton Jones. Template meta-programming for Haskell. In Haskell Workshop, 2002.
45. P. Wadler. Monads for functional programming. In Program Design Calculi. Springer-Verlag, 1993.
46. P. Wadler. The expression problem. Java Genericity Mailing list, Nov. 1998. URL http://www.cse.ohio-state.edu/gb/cis888.07g/java-genericity/20.
47. G. Washburn. Revisiting higher-rank impredicative polymorphism in Scala. http://existentialtype.net/2008/05/26/revisiting-higher-rank-impredicative- polymorphism-in-scala/, May 2008.
48. S. Weirich. RepLib: a library for derivable type classes. In Haskell Workshop, pages 1-12, 2006.