How to make ad-hoc polymorphism less ad hoc

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

How to make ad-hoc polymorphism less ad hoc

Full text

Pdf (1.29 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Austin, Texas, United States

Pages: 60 - 76

Year of Publication: 1989

ISBN:0-89791-294-2

Authors

P. Wadler	University of Glasgow
S. Blott	University of Glasgow

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 43, Downloads (12 Months): 172, Citation Count: 105

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/75277.75283 What is a DOI?

ABSTRACT

This paper presents type classes, a new approach to ad-hoc polymorphism. Type classes permit overloading of arithmetic operators such as multiplication, and generalise the “eqtype variables” of Standard ML. Type classes extend the Hindley/Milner polymorphic type system, and provide a new approach to issues that arise in object-oriented programming, bounded type quantification, and abstract data types. This paper provides an informal introduction to type classes, and defines them formally by means of type inference rules.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	BEJ88	D. BjOrner, A. Ershov, and N.D. Jones, editors, Partial Evaluation and Mixed Computation, North-Holland, 1988 (to appear).
	CW85	Luca Cardelli , Peter Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys (CSUR), v.17 n.4, p.471-523, Dec. 1985 [doi>10.1145/6041.6042]
	Car88	L. Cardelli, Structural subtyping and the notion of power type, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.70-79, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73566]
	DM82	Luis Damas , Robin Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.207-212, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582176]
	FGJM85	Kokichi Futatsugi , Joseph A. Goguen , Jean-Pierre Jouannaud , José Meseguer, Principles of OBJ2, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.52-66, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318610]
	GR83	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	Hin69	R. Hindley, The principal type scheme of an object in combinatory logic. Trans. Am. Math. Soc. 146, pp. 29-60, December 1969.
	HMM86	R. Harper, D. MacQueen, and R. Milner, Standard ML. Report ECS-LFCS-86-2, Edinburgh University, Computer Science Dept., 1986.
	HMT88	R. Harper, R. Milner, and M. Tofte, The definition of Standard ML, version 2. Report ECS-LFCS-88-62, Edinburgh University, Computer Science Dept., 1988.
	Kae88	S. Kaes, Parametric polymorphism. In Proceedings of the 2'nd European Symposium on Programming, Nancy, France, March 1988. LNCS 300, Springer-Verlag, 1988.
	Mil78	R. Milner, A theory of type polymorphism in programming. J. Compul. Syst. Sci. 17, pp. 348-375, 1978.
	Mil84	Robin Milner, A proposal for standard ML, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.184-197, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802035]
	Mil87	R. Milner, Ch~nges to the Standard ML core language. Report ECS-LFCS-87-33, Edinburgh University, Computer Science Dept., 1987.
	MP85	John C. Mitchell , Gordon D. Plotkin, Abstract types have existential types, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.37-51, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318606]
	Rey85	J C Reynolds, Three approaches to type structure, Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85), p.97-138, April 1985, Berlin, Germany
	Str67	C. Strachey, Fundamental concepts in programming languages. Lecture notes for International Summer School in Computer Programming, Copenhagen, August 1967.
	Tur85	D. A. Turner, Miranda: a non-strict functional language with polymorphic types, Proc. of a conference on Functional programming languages and computer architecture, p.1-16, January 1985, Nancy, France
	Wan87	M. Wand, Complete type inference for simple objects. In Proceedings of the Symposium on Logic in Computer Science, Ithaca, NY, June 1987. IEEE Computer Society Press, 1987.

CITED BY 106

	Kung Chen , Paul Hudak , Martin Odersky, Parametric type classes, ACM SIGPLAN Lisp Pointers, v.V n.1, p.170-181, Jan. 1992
	Gordon V. Cormack , Andrew K. Wright, Type-dependent parameter inference, ACM SIGPLAN Notices, v.25 n.6, p.127-136, Jun. 1990
	Jeffrey R. Lewis , John Launchbury , Erik Meijer , Mark B. Shields, Implicit parameters: dynamic scoping with static types, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.108-118, January 19-21, 2000, Boston, MA, USA
	Stefan Kaes, Type inference in the presence of overloading, subtyping and recursive types, ACM SIGPLAN Lisp Pointers, v.V n.1, p.193-204, Jan. 1992
	Martin Odersky , Philip Wadler , Martin Wehr, A second look at overloading, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.135-146, June 26-28, 1995, La Jolla, California, United States
	Lennart Augustsson, Implementing Haskell overloading, Proceedings of the conference on Functional programming languages and computer architecture, p.65-73, June 09-11, 1993, Copenhagen, Denmark
	Mark Shields , Tim Sheard , Simon Peyton Jones, Dynamic typing as staged type inference, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.289-302, January 19-21, 1998, San Diego, California, United States
	Satish R. Thatté, Semantics of type classes revisited, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.208-219, July-Sept. 1994
	Daniel C. Wang , Andrew W. Appel, Type-preserving garbage collectors, ACM SIGPLAN Notices, v.36 n.3, p.166-178, March 2001
	Gary T. Leavens , William E. Weihl, Reasoning about object-oriented programs that use subtypes, ACM SIGPLAN Notices, v.25 n.10, p.212-223, Oct. 1990
	Andrew Tolmach, Tag-free garbage collection using explicit type parameters, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.1-11, July-Sept. 1994
	Peter J. Thiemann, Unboxed values and polymorphic typing revisited, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.24-35, June 26-28, 1995, La Jolla, California, United States
	Stephanie Weirich, Type-safe cast: (functional pearl), ACM SIGPLAN Notices, v.35 n.9, p.58-67, Sept. 2000
	Mark P. Jones, A system of constructor classes: overloading and implicit higher-order polymorphism, Proceedings of the conference on Functional programming languages and computer architecture, p.52-61, June 09-11, 1993, Copenhagen, Denmark
	Mark Shields , Erik Meijer, Type-indexed rows, ACM SIGPLAN Notices, v.36 n.3, p.261-275, March 2001
	Dominic Duggan , Constantinos Sourelis, Mixin modules, ACM SIGPLAN Notices, v.31 n.6, p.262-273, June 15, 1996
	Giuseppe Castagna , Giorgio Ghelli , Giuseppe Longo, A calculus for overloaded functions with subtyping, ACM SIGPLAN Lisp Pointers, v.V n.1, p.182-192, Jan. 1992
	Konstantin Läfer , Martin Odersky, Polymorphic type inference and abstract data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.5, p.1411-1430, Sept. 1994
	Philip Wadler, Theorems for free!, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.347-359, September 11-13, 1989, Imperial College, London, United Kingdom
	Martin Odersky , Philip Wadler, Pizza into Java: translating theory into practice, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.146-159, January 15-17, 1997, Paris, France
	Cordelia V. Hall , Kevin Hammond , Simon L. Peyton Jones , Philip L. Wadler, Type classes in Haskell, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.2, p.109-138, March 1996
	John Peterson , Mark Jones, Implementing type classes, ACM SIGPLAN Notices, v.28 n.6, p.227-236, June 1993
	Vassily Litvinov, Contraint-based polymorphism in Cecil: towards a practical and static type system, ACM SIGPLAN Notices, v.33 n.10, p.388-411, Oct. 1998
	Niklas Röjemo, Highlights from nhc—a space-efficient Haskell compiler, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.282-292, June 26-28, 1995, La Jolla, California, United States
	James Cheney , Ralf Hinze, A lightweight implementation of generics and dynamics, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, p.90-104, October 03, 2002, Pittsburgh, Pennsylvania
	Patrick M. Sansom , Simon L. Peyton Jones, Formally based profiling for higher-order functional languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.2, p.334-385, March 1997
	R. Morrison , A. Dearle , R. C. H. Connor , A. L. Brown, An ad hoc approach to the implementation of polymorphism, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.3, p.342-371, July 1991
	Mark P. Jones, Simplifying and improving qualified types, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.160-169, June 26-28, 1995, La Jolla, California, United States
	Gary T. Leavens, Modular Specification and Verification of Object-Oriented Programs, IEEE Software, v.8 n.4, p.72-80, July 1991
	Dave Cattrall , Colin Runciman, Widening the representation bottleneck: a functional implementation of relational programming, Proceedings of the conference on Functional programming languages and computer architecture, p.191-200, June 09-11, 1993, Copenhagen, Denmark
	Mark P. Jones, First-class polymorphism with type inference, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.483-496, January 15-17, 1997, Paris, France
	Atsushi Ohori, A polymorphic record calculus and its compilation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.6, p.844-895, Nov. 1995
	John Launchbury, Strictness and binding-time analyses: two for the price of one, ACM SIGPLAN Notices, v.26 n.6, p.80-91, June 1991
	Leslie Lamport , Lawrence C. Paulson, Should your specification language be typed, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.3, p.502-526, May 1999
	Peter J. Stuckey , Martin Sulzmann, A theory of overloading, ACM SIGPLAN Notices, v.37 n.9, p.167-178, September 2002
	Patricia Johann , Janis Voigtländer, Free theorems in the presence of seq, ACM SIGPLAN Notices, v.39 n.1, p.99-110, January 2004
	Peter J. Stuckey , Martin Sulzmann , Jeremy Wazny, Interactive type debugging in Haskell, Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, p.72-83, August 28-28, 2003, Uppsala, Sweden
	François Bourdoncle , Stephan Merz, Type checking higher-order polymorphic multi-methods, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.302-315, January 15-17, 1997, Paris, France
	Tobias Nipkow , Christian Prehofer, Type checking type classes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.409-418, March 1993, Charleston, South Carolina, United States
	Matthias Neubauer , Peter Thiemann , Martin Gasbichler , Michael Sperber, Functional logic overloading, ACM SIGPLAN Notices, v.37 n.1, p.233-244, Jan. 2002
	Shail Aditya , Alejandro Caro, Compiler-directed type reconstruction for polymorphic languages, Proceedings of the conference on Functional programming languages and computer architecture, p.74-82, June 09-11, 1993, Copenhagen, Denmark
	Karl-Filip Faxén, Haskell and principal types, Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, p.88-97, August 28-28, 2003, Uppsala, Sweden
	Paul Hudak, Conception, evolution, and application of functional programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.359-411, Sep. 1989
	Jaakko Järvi , Jeremiah Willcock , Andrew Lumsdaine, Concept-controlled polymorphism, Proceedings of the second international conference on Generative programming and component engineering, p.228-244, September 22-25, 2003, Erfurt, Germany
	Don Batory , Sean O'Malley, The design and implementation of hierarchical software systems with reusable components, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.4, p.355-398, Oct. 1992
	Matthias Neubauer , Peter Thiemann, Type classes with more higher-order polymorphism, ACM SIGPLAN Notices, v.37 n.9, p.179-190, September 2002
	Carlos Camarão , Lucília Figueiredo , Cristiano Vasconcellos, Constraint-set satisfiability for overloading, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.67-77, August 24-26, 2004, Verona, Italy
	Atsushi Ohori , Tomonobu Takamizawa, An Unboxed Operational Semantics for ML Polymorphism, Lisp and Symbolic Computation, v.10 n.1, p.61-91, June 1997
	Oleg Kiselyov , Chung-chieh Shan, Functional pearl: implicit configurations--or, type classes reflect the values of types, Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, September 22-22, 2004, Snowbird, Utah, USA
	Chung-chieh Shan, Sexy types in action, ACM SIGPLAN Notices, v.39 n.5, May 2004
	Dimitrios Vytiniotis , Geoffrey Washburn , Stephanie Weirich, An open and shut typecase, Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, p.13-24, January 10-10, 2005, Long Beach, California, USA
	Jeremy G. Siek , Jeremy Siek , Andrew Lumsdaine, Essential language support for generic programming, ACM SIGPLAN Notices, v.40 n.6, June 2005
	Ralf Lämmel , Simon Peyton Jones, Scrap your boilerplate with class: extensible generic functions, ACM SIGPLAN Notices, v.40 n.9, September 2005
	Andreas Abel , Marcin Benke , Ana Bove , John Hughes , Ulf Norell, Verifying haskell programs using constructive type theory, Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, p.62-73, September 30-30, 2005, Tallinn, Estonia
	Jaakko Järvi , Jeremiah Willcock , Andrew Lumsdaine, Associated types and constraint propagation for mainstream object-oriented generics, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Gabriel Dos Reis , Bjarne Stroustrup, Specifying C++ concepts, ACM SIGPLAN Notices, v.41 n.1, p.295-308, January 2006
	Meng Wang , Kung Chen , Siau-Cheng Khoo, Type-directed weaving of aspects for higher-order functional languages, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina
	Peter J. Stuckey , Martin Sulzmann, A theory of overloading, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1216-1269, November 2005
	Ryan Newton , Matt Welsh, Region streams: functional macroprogramming for sensor networks, Proceeedings of the 1st international workshop on Data management for sensor networks: in conjunction with VLDB 2004, August 30-30, 2004, Toronto, Canada
	Dominic Duggan , John Ophel, Open and closed scopes for constrained genericity, Theoretical Computer Science, v.275 n.1-2, p.215-258, March 28 2002
	Douglas Gregor , Jaakko Järvi , Mayuresh Kulkarni , Andrew Lumsdaine , David Musser , Sibylle Schupp, Generic programming and high-performance libraries, International Journal of Parallel Programming, v.33 n.2, p.145-164, June 2005
	Paul Hudak , Simon Peyton Jones , Philip Wadler , Brian Boutel , Jon Fairbairn , Joseph Fasel , María M. Guzmán , Kevin Hammond , John Hughes , Thomas Johnsson , Dick Kieburtz , Rishiyur Nikhil , Will Partain , John Peterson, Report on the programming language Haskell: a non-strict, purely functional language version 1.2, ACM SIGPLAN Notices, v.27 n.5, p.1-164, May 1992
	Injun Choi , Michael V. Mannino, Graph interpretation of methods: a unifying framework for polymorphism in object-oriented programming, ACM SIGPLAN OOPS Messenger, v.2 n.1, p.38-54, Jan. 1991
	Gary T. Leavens, Introduction to the literature on object-oriented design, programming, and languages, ACM SIGPLAN OOPS Messenger, v.2 n.4, p.40-53, Oct. 1991
	Martin Sulzmann, Extracting programs from type class proofs, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
	Francois Rouaix, Safe run-time overloading, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.355-366, December 1989, San Francisco, California, United States
	Ralf Lämmel , Klaus Ostermann, Software extension and integration with type classes, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA
	Andreas Abel , Ralph Matthes , Tarmo Uustalu, Iteration and coiteration schemes for higher-order and nested datatypes, Theoretical Computer Science, v.333 n.1-2, p.3-66, 1 March 2005
	Derek Dreyer , Robert Harper , Manuel M. T. Chakravarty , Gabriele Keller, Modular type classes, ACM SIGPLAN Notices, v.42 n.1, January 2007
	François Pottier , Nadji Gauthier, Polymorphic typed defunctionalization and concretization, Higher-Order and Symbolic Computation, v.19 n.1, p.125-162, March 2006
	Douglas Gregor , Jaakko Järvi , Jeremy Siek , Bjarne Stroustrup , Gabriel Dos Reis , Andrew Lumsdaine, Concepts: linguistic support for generic programming in C++, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Michael Hanus, Type-oriented construction of web user interfaces, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
	Jaakko Järvi , Douglas Gregor , Jeremiah Willcock , Andrew Lumsdaine , Jeremy Siek, Algorithm specialization in generic programming: challenges of constrained generics in C++, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Vincent Simonet , François Pottier, A constraint-based approach to guarded algebraic data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.1, p.1-es, January 2007
	Martin Sulzmann , Meng Wang, Aspect-oriented programming with type classes, Proceedings of the 6th workshop on Foundations of aspect-oriented languages, p.65-74, March 13-13, 2007, Vancouver, British Columbia, Canada
	Martin Sulzmann , Meng Wang, Modular generic programming with extensible superclasses, Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, September 16-16, 2006, Portland, Oregon, USA
	Stephanie Weirich, RepLib: a library for derivable type classes, Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, September 17-17, 2006, Portland, Oregon, USA
	Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California
	Jaakko Järvi , Matthew A. Marcus , Jacob N. Smith, Library composition and adaptation using c++ concepts, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria
	Martin Sulzmann , Răzvan Voicu, Language-Based Program Verification via Expressive Types, Electronic Notes in Theoretical Computer Science (ENTCS), v.174 n.7, p.129-147, June, 2007
	Stephanie Weirich, Type-safe run-time polytypic programming, Journal of Functional Programming, v.16 n.6, p.681-710, November 2006
	Janis Voigtländer , Patricia Johann, Selective strictness and parametricity in structural operational semantics, inequationally, Theoretical Computer Science, v.388 n.1-3, p.290-318, December, 2007
	Patricia Johann , Janis Voigtländer, The Impact of seq on Free Theorems-Based Program Transformations, Fundamenta Informaticae, v.69 n.1-2, p.63-102, January 2006
	Mark-Oliver Stehr, The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving, Fundamenta Informaticae, v.68 n.3, p.249-288, August 2005
	Satnam Singh, System Level Specification in Lava, Proceedings of the conference on Design, Automation and Test in Europe, p.10370, March 03-07, 2003
	Lawrence C. Paulson, Organizing Numerical Theories Using Axiomatic Type Classes, Journal of Automated Reasoning, v.33 n.1, p.29-49, July 2004
	Stephanie Weirich, Type-FUNCTIONAL PEARL safe cast, Journal of Functional Programming, v.14 n.6, p.681-695, November 2004
	Barnaby P. Hilken , David E. Rydeheard, A theory of classes: proofs and models, Mathematical Structures in Computer Science, v.7 n.2, p.95-127, April 1997
	Stefan Monnier , Zhong Shao, Inlining as staged computation, Journal of Functional Programming, v.13 n.3, p.647-676, May 2003
	Simon Peyton Jones, Bibliography, Journal of Functional Programming, v.13 n.1, p.241-255, January 2003
	Karl-Filip Faxén, A static semantics for Haskell, Journal of Functional Programming, v.12 n.5, p.295-357, July 2002
	Conor McBride, Faking it Simulating dependent types in Haskell, Journal of Functional Programming, v.12 n.5, p.375-392, July 2002
	Sven-Bodo Scholz, Single Assignment C: efficient support for high-level array operations in a functional setting, Journal of Functional Programming, v.13 n.6, p.1005-1059, November 2003
	Dominic Duggan , John Ophel, Type-checking multi-parameter type classes, Journal of Functional Programming, v.12 n.2, p.133-158, March 2002
	P. Grogono , A. Bennett, Polymorphism and type checking in object-oriented languages, ACM SIGPLAN Notices, v.24 n.11, p.109-115, Nov. 1989
	Iavor S. Diatchki , Thomas Hallgren , Mark P. Jones , Rebekah Leslie , Andrew Tolmach, Writing systems software in a functional language: an experience report, Proceedings of the 4th workshop on Programming languages and operating systems, October 18-18, 2007, Stevenson, Washington
	Jurriaan Hage , Stefan Holdermans , Arie Middelkoop, A generic usage analysis with subeffect qualifiers, ACM SIGPLAN Notices, v.42 n.9, September 2007
	Mark P. Jones , Iavor S. Diatchki, Language and program design for functional dependencies, Proceedings of the first ACM SIGPLAN symposium on Haskell, September 25-25, 2008, Victoria, BC, Canada
	Martin Sulzmann , Peter j. Stuckey, Hm(x) type inference is clp(x) solving, Journal of Functional Programming, v.18 n.2, p.251-283, March 2008
	Conor McBride, Clowns to the left of me, jokers to the right (pearl): dissecting data structures, ACM SIGPLAN Notices, v.43 n.1, January 2008
	Jean-Philippe Bernardy , Patrik Jansson , Marcin Zalewski , Sibylle Schupp , Andreas Priesnitz, A comparison of c++ concepts and haskell type classes, Proceedings of the ACM SIGPLAN workshop on Generic programming, September 20-20, 2008, Victoria, BC, Canada
	Adriaan Moors , Frank Piessens , Martin Odersky, Generics of a higher kind, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Tom Schrijvers , Louis-Julien Guillemette , Stefan Monnier, Type invariants for Haskell, Proceedings of the 3rd workshop on Programming languages meets program verification, January 20-20, 2009, Savannah, GA, USA
	Julien Brunel , Damien Doligez , René Rydhof Hansen , Julia L. Lawall , Gilles Muller, A foundation for flow-based program matching: using temporal logic and model checking, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA
	Marcin Zalewski , Sibylle Schupp, C++ concepts as institutions: a specification view on concepts, Proceedings of the 2007 Symposium on Library-Centric Software Design, p.76-87, October 21-21, 2007, Montreal, Canada
	Andrea Asperti , Herman Geuvers , Raja Natarajan, Social processes, program verification and all that, Mathematical Structures in Computer Science, v.19 n.5, p.877-896, October 2009