Principal type-schemes for functional programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Principal type-schemes for functional programs

Full text

Pdf (270 KB)

Source

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

Albuquerque, New Mexico

Pages: 207 - 212

Year of Publication: 1982

ISBN:0-89791-065-6

Authors

Luis Damas	Edinburgh University
Robin Milner	Edinburgh University

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 29, Downloads (12 Months): 168, Citation Count: 179

Additional Information:

references cited by 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/582153.582176 What is a DOI?

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.

	1	{LNCSn stands for Vol n, Lecture Notes in Computer Science, Springer-Verlag}.
	2	Mario Coppo, An Extended Polymorphic Type System for Applicative Languages, Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, p.194-204, September 01-05, 1980
	3	{DD} A. Demers and J. Donahue, Report on the programming language Russell, (1979), Report No. TR 79-371, Computer Science Department, Cornell University.
	4	{GMW} M. Gordon, R. Milner and C. Wadsworth, (1979), Edinburgh LCF, LNCS 78.
	5	{Hin} R. Hindley, The principal type-scheme of an object in Combinatory Logic, (1969), Trans AMS 146, pp 29--60.
	6	{Mil} R. Milner, A theory of type polymorphism in programming (1978), JCSS 17,3, pp 348--375.
	7	J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM (JACM), v.12 n.1, p.23-41, Jan. 1965 [doi>10.1145/321250.321253]

CITED BY 179

	Xavier Leroy , Pierre Weis, Polymorphic type inference and assignment, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.291-302, January 21-23, 1991, Orlando, Florida, United States
	P. C. Kanellakis , J. C. Mitchell, Polymorphic unification and ML typing, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.105-115, January 11-13, 1989, Austin, Texas, United States
	John Reppy , Jon Riecke, Simple objects for Standard ML, ACM SIGPLAN Notices, v.31 n.5, p.171-180, May 1996
	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
	David MacQueen , Gordon Plotkin , Ravi Sethi, An ideal model for recursive polymorphic types, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.165-174, January 15-18, 1984, Salt Lake City, Utah, United States
	J. W. O'Toole, Jr. , D. K. Gifford, Type reconstruction with first-class polymorphic values, ACM SIGPLAN Notices, v.24 n.7, p.207-217, July 1989
	David MacQueen, An implementation of standard ML modules, Proceedings of the 1988 ACM conference on LISP and functional programming, p.212-223, July 25-27, 1988, Snowbird, Utah, United States
	Ping Gao , Robert Esser, Polymorphic CSP type checking, Australian Computer Science Communications, v.23 n.1, p.156-162, January-February 2001
	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
	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
	Martin Elsman, Static interpretation of modules, ACM SIGPLAN Notices, v.34 n.9, p.208-219, Sept. 1999
	Tsung-Min Kuo , Prateek Mishra, Strictness analysis: a new perspective based on type inference, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.260-272, September 11-13, 1989, Imperial College, London, United Kingdom
	A. J. Kfoury , J. Tiuryn , P. Urzyczyn, An analysis of ML typability, Journal of the ACM (JACM), v.41 n.2, p.368-398, March 1994
	Atsushi Ohori , Peter Buneman, Type inference in a database programming language, Proceedings of the 1988 ACM conference on LISP and functional programming, p.174-183, July 25-27, 1988, Snowbird, Utah, United States
	Atsushi Ohori , Nobuaki Yoshida, Type inference with rank 1 polymorphism for type-directed compilation of ML, ACM SIGPLAN Notices, v.34 n.9, p.160-171, Sept. 1999
	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
	Alex Aiken , Brian Murphy, Static type inference in a dynamically typed language, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.279-290, January 21-23, 1991, Orlando, Florida, United States
	Xavier Leroy, Manifest types, modules, and separate compilation, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.109-122, January 16-19, 1994, Portland, Oregon, United States
	John Peterson , Mark Jones, Implementing type classes, ACM SIGPLAN Notices, v.28 n.6, p.227-236, June 1993
	Luca Cardelli , Peter Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys (CSUR), v.17 n.4, p.471-523, Dec. 1985
	P. Wadler , S. Blott, How to make ad-hoc polymorphism less ad hoc, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.60-76, January 11-13, 1989, Austin, Texas, United States
	Matthias Neubauer , Peter Thiemann, Discriminative sum types locate the source of type errors, ACM SIGPLAN Notices, v.38 n.9, p.15-26, September 2003
	J. C. Mitchell , R. Harper, The essence of ML, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.28-46, January 10-13, 1988, San Diego, California, United States
	A. J. Kfoury , J. Tiuryn , P. Urzyczyn, A proper extension of ML with an effective type-assignment, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.58-69, January 10-13, 1988, San Diego, California, United States
	John C. Mitchell, Coercion and type inference, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.175-185, January 15-18, 1984, Salt Lake City, Utah, United States
	Mikael Rittri, Dimension inference under polymorphic recursion, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.147-159, June 26-28, 1995, La Jolla, California, United States
	Carsten K. Gomard, Partial type inference for untyped functional programs, Proceedings of the 1990 ACM conference on LISP and functional programming, p.282-287, June 27-29, 1990, Nice, France
	Xavier Leroy, Unboxed objects and polymorphic typing, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.177-188, January 19-22, 1992, Albuquerque, New Mexico, United States
	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
	Pablo E. Martínez López , John Hughes, Principal type specialisation, Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, p.94-105, September 12-14, 2002, Aizu, Japan
	Benjamin C. Pierce, Type systems, Programming methodology, Springer-Verlag New York, Inc., New York, NY, 2003
	Kung Chen , Paul Hudak , Martin Odersky, Parametric type classes, ACM SIGPLAN Lisp Pointers, v.V n.1, p.170-181, Jan. 1992
	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
	Atsushi Ohori, A simple semantics for ML polymorphism, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.281-292, September 11-13, 1989, Imperial College, London, United Kingdom
	Fritz Henglein, Type inference with polymorphic recursion, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.2, p.253-289, April 1993
	Peter Buneman , Atsushi Ohori, Polymorphism and type inference in database programming, ACM Transactions on Database Systems (TODS), v.21 n.1, p.30-76, March 1996
	Richard B. Kieburtz, Taming effects with monadic typing, ACM SIGPLAN Notices, v.34 n.1, p.51-62, Jan. 1999
	H.-J. Boehm, Type inference in the presence of type abstraction, ACM SIGPLAN Notices, v.24 n.7, p.192-206, July 1989
	Mikael Rittri, Using types as search keys in function libraries, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.174-183, September 11-13, 1989, Imperial College, London, United Kingdom
	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
	Pierre Jouvelot , David Gifford, Algebraic reconstruction of types and effects, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.303-310, January 21-23, 1991, Orlando, Florida, United States
	F. Tip , T. B. Dinesh, A slicing-based approach for locating type errors, ACM Transactions on Software Engineering and Methodology (TOSEM), v.10 n.1, p.5-55, Jan. 2001
	Bruce J. McAdam, BigTypes in ML (poster), ACM SIGPLAN Notices, v.32 n.8, p.316, Aug. 1997
	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
	Martin Odersky, How to make destructive updates less destructive, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.25-36, January 21-23, 1991, Orlando, Florida, United States
	D. B. MacQueen , Ravi Sethi, A semantic model of types for applicative languages, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.243-252, August 15-18, 1982, Pittsburgh, Pennsylvania, United States
	Atsushi Ohori , Kazuhiko Kato, Semantics for communication primitives in a polymorphic language, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.99-112, March 1993, Charleston, South Carolina, United States
	Fritz Henglein , Harry G. Mairson, The complexity of type inference for higher-order lambda calculi, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.119-130, January 21-23, 1991, Orlando, Florida, United States
	Robert Harper , John C. Mitchell, On the type structure of standard ML, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.2, p.211-252, April 1993
	Lars Birkedal , Mads Tofte , Magnus Vejlstrup, From region inference to von Neumann machines via region representation inference, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.171-183, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Atsushi Ohori, A compilation method for ML-style polymorphic record calculi, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.154-165, January 19-22, 1992, Albuquerque, New Mexico, United States
	Michael Sperber, Developing a stage lighting system from scratch, ACM SIGPLAN Notices, v.36 n.10, October 2001
	David N. Turner , Philip Wadler , Christian Mossin, Once upon a type, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.1-11, June 26-28, 1995, La Jolla, California, United States
	Fritz Henglein , Jesper Jørgensen, Formally optimal boxing, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.213-226, January 16-19, 1994, Portland, Oregon, United States
	A. Ohori , P. Buneman, Static type inference for parametric classes, ACM SIGPLAN Notices, v.24 n.10, p.445-450, Oct. 1989
	Zhong Shao, Flexible representation analysis, ACM SIGPLAN Notices, v.32 n.8, p.85-98, Aug. 1997
	R. Stansifer, Type inference with subtypes, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.88-97, January 10-13, 1988, San Diego, California, United States
	Zhong Shao , Andrew W. Appel, Smartest recompilation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.439-450, March 1993, Charleston, South Carolina, United States
	Mads Tofte , Lars Birkedal, A region inference algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.4, p.724-767, July 1998
	Susumu Nishimura, Static typing for dynamic messages, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.266-278, January 19-21, 1998, San Diego, California, United States
	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
	Robert Harper , Benjamin Pierce, A record calculus based on symmetric concatenation, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.131-142, January 21-23, 1991, Orlando, Florida, United States
	Patrik Jansson , Johan Jeuring, PolyP—a polytypic programming language extension, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.470-482, January 15-17, 1997, Paris, France
	Zhong Shao , Christopher League , Stefan Monnier, Implementing typed intermediate languages, ACM SIGPLAN Notices, v.34 n.1, p.313-323, Jan. 1999
	Simon Marlow , Philip Wadler, A practical subtyping system for Erlang, ACM SIGPLAN Notices, v.32 n.8, p.136-149, Aug. 1997
	A. J. Kfoury , J. B. Wells, Principality and decidable type inference for finite-rank intersection types, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.161-174, January 20-22, 1999, San Antonio, Texas, United States
	Michael Siff , Thomas Reps, Program generalization for software reuse: from C to C++, ACM SIGSOFT Software Engineering Notes, v.21 n.6, p.135-146, Nov. 1996
	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
	Alexander Aiken , John H. Williams , Edward L. Wimmers, Safe: a semantic technique for transforming programs in the presence of errors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.1, p.63-84, Jan. 1995
	Annika Aasa, Precedences for conctypes, Proceedings of the conference on Functional programming languages and computer architecture, p.83-91, June 09-11, 1993, Copenhagen, Denmark
	G. W. Hamilton, Extending higher-order deforestation: transforming programs to eliminate even more trees, Trends in functional programming, Intellect Books, Exeter, UK, 2002
	Paul Hudak , Jonathan Young, Higher-order strictness analysis in untyped lambda calculus, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.97-109, January 01, 1986, St. Petersburg Beach, Florida
	Peter Harry Eidorff , Fritz Henglein , Christian Mossin , Henning Niss , Morten Heine Sørensen , Mads Tofte, AnnoDomini: from type theory to Year 2000 conversion tool, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-14, January 20-22, 1999, San Antonio, Texas, United States
	Manuel Fähndrich , Jakob Rehof , Manuvir Das, Scalable context-sensitive flow analysis using instantiation constraints, ACM SIGPLAN Notices, v.35 n.5, p.253-263, May 2000
	Oukseh Lee , Kwangkeun Yi, Proofs about a folklore let-polymorphic type inference algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.4, p.707-723, July 1998
	Michael Hanus , Frank Steiner, Type-based nondeterminism checking in functional logic programs, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.202-213, September 20-23, 2000, Montreal, Quebec, Canada
	Philip Wadler, Is there a use for linear logic?, ACM SIGPLAN Notices, v.26 n.9, p.255-273, Sept. 1991
	Mads Tofte, Principal signatures for higher-order program modules, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.189-199, January 19-22, 1992, Albuquerque, New Mexico, United States
	Zhong Shao , Andrew W. Appel, A type-based compiler for standard ML, ACM SIGPLAN Notices, v.30 n.6, p.116-129, June 1995
	Fritz Henglein, Type inference and semi-unification, Proceedings of the 1988 ACM conference on LISP and functional programming, p.184-197, July 25-27, 1988, Snowbird, Utah, United States
	Dominique Clément , Thierry Despeyroux , Gilles Kahn , Joëlle Despeyroux, A simple applicative language: mini-ML, Proceedings of the 1986 ACM conference on LISP and functional programming, p.13-27, August 1986, Cambridge, Massachusetts, United States
	Paul Caspi , Marc Pouzet, Synchronous Kahn networks, ACM SIGPLAN Notices, v.31 n.6, p.226-238, June 15, 1996
	Alexander Aiken , Edward L. Wimmers , T. K. Lakshman, Soft typing with conditional types, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.163-173, January 16-19, 1994, Portland, Oregon, United States
	Adrienne Bloss, Path analysis and the optimization of nonstrict functional languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.328-369, May 1994
	Takuya Katayama, Type inference and type checking for functional programming languages: A reduced computation approach, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.263-272, August 06-08, 1984, Austin, Texas, United States
	Bastiaan Heeren , Jurriaan Hage , S. Doaitse Swierstra, Scripting the type inference process, ACM SIGPLAN Notices, v.38 n.9, p.3-13, September 2003
	Walid Taha , Michael Florentin Nielsen, Environment classifiers, ACM SIGPLAN Notices, v.38 n.1, p.26-37, January 2003
	Pawel Rychlikowski , Tomasz Truderung, Polymorphic directional types for logic programming, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.61-72, September 05-07, 2001, Florence, Italy
	Cosmin E. Oancea , Stephen M. Watt, Parametric polymorphism for software component architectures, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Daniel S. Dantas , David Walker , Geoffrey Washburn , Stephanie Weirich, Poly_AML: a polymorphic aspect-oriented functional programming language, ACM SIGPLAN Notices, v.40 n.9, September 2005
	Bastiaan Heeren , Daan Leijen , Arjan van IJzendoorn, Helium, for learning Haskell, Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, p.62-71, August 28-28, 2003, Uppsala, Sweden
	A. J. Kfoury , J. B. Wells, Principality and type inference for intersection types using expansion variables, Theoretical Computer Science, v.311 n.1-3, p.1-70, 23 January 2004
	Mads Tofte , Jean-Pierre Talpin, Implementation of the typed call-by-value λ-calculus using a stack of regions, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.188-201, January 16-19, 1994, Portland, Oregon, United States
	Martin Odersky , Konstantin Läufer, Putting type annotations to work, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.54-67, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Thomas P. Jensen, Inference of polymorphic and conditional strictness properties, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.209-221, January 19-21, 1998, San Diego, California, 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
	T.-M. Kuo , P. Mishra, On strictness and its analysis, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.144-155, January 21-23, 1987, Munich, West Germany
	Daniel Leivant, Polymorphic type inference, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.88-98, January 24-26, 1983, Austin, Texas
	Patrick Cousot, Types as abstract interpretations, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.316-331, January 15-17, 1997, Paris, France
	Jacques Garrigue , Hassan Aït-Kaci, The typed polymorphic label-selective λ-calculus, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.35-47, January 16-19, 1994, Portland, Oregon, United States
	Ferruccio Damiani, Rank 2 intersection types for modules, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, p.67-78, August 27-29, 2003, Uppsala, Sweden
	Geoffrey Smith , Dennis Volpano, Polymorphic typing of variables and references, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.3, p.254-267, May 1996
	Robert Cartwright , Mike Fagan, Soft typing, ACM SIGPLAN Notices, v.26 n.6, p.278-292, June 1991
	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
	J. H. Reppy, Synchronous operations as first-class values, ACM SIGPLAN Notices, v.23 n.7, p.250-259, July 1988
	Didier Le Botlan , Didier Rémy, ML^F: raising ML to the power of system F, ACM SIGPLAN Notices, v.38 n.9, p.27-38, September 2003
	Paul Hudak, Conception, evolution, and application of functional programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.359-411, Sep. 1989
	Ferruccio Damiani, Rank 2 intersection types for local definitions and conditional expressions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.4, p.401-451, July 2003
	Robert Cartwright , Mike Fagan, Soft typing, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Robert Cartwright , Mike Fagan, Soft typing, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Bruce McAdam, How to repair type errors automatically, Trends in functional programming, Intellect Books, Exeter, UK, 2002
	Philip Wadler, The Girard--Reynolds isomorphism, Information and Computation, v.186 n.2, p.260-284, 01 November 2003
	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
	Mads Tofte , Lars Birkedal , Martin Elsman , Niels Hallenberg, A Retrospective on Region-Based Memory Management, Higher-Order and Symbolic Computation, v.17 n.3, p.245-265, September 2004
	Christian Haack , J. B. Wells, Type error slicing in implicitly typed higher-order languages, Science of Computer Programming, v.50 n.1-3, p.189-224, March 2004
	Chung-chieh Shan, Sexy types in action, ACM SIGPLAN Notices, v.39 n.5, May 2004
	Lambert Meertens, Incremental polymorphic type checking in B, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.265-275, January 24-26, 1983, Austin, Texas
	Chiyan Chen , Hongwei Xi, Meta-programming through typeful code representation, ACM SIGPLAN Notices, v.38 n.9, p.275-286, September 2003
	Christian Skalka, Trace effects and object orientation, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.139-150, July 11-13, 2005, Lisbon, Portugal
	Murdoch J. Gabbay, A new calculus of contexts, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.94-105, July 11-13, 2005, Lisbon, Portugal
	Mario Coppo , Ferruccio Damiani , Paola Giannini, Strictness, totality, and non-standard-type inference, Theoretical Computer Science, v.272 n.1-2, p.69-112, February 6, 2002
	Zhong Shao, Typed cross-module compilation, ACM SIGPLAN Notices, v.34 n.1, p.141-152, Jan. 1999
	Antonio J. Fernandez , Teresa Hortala-Gonzalez , Fernando Saenz-Perez , Rafael Del Vado-Virseda, Constraint functional logic programming over finite domains, Theory and Practice of Logic Programming, v.7 n.5, p.537-582, September 2007
	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
	Ferruccio Damiani, A conjunctive type system for useless-code elimination, Mathematical Structures in Computer Science, v.13 n.1, p.157-197, February 2003
	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
	Catherine Dubois , François Rouaix , Pierre Weis, Extensional polymorphism, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.118-129, January 23-25, 1995, San Francisco, California, United States
	Martin Plümicke , Jörg Bäuerle, Typeless programming in Java 5.0, Proceedings of the 4th international symposium on Principles and practice of programming in Java, August 30-September 01, 2006, Mannheim, Germany
	Armin Rigo , Samuele Pedroni, PyPy's approach to virtual machine construction, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
	Daniel K. Lee , Karl Crary , Robert Harper, Towards a mechanized metatheory of standard ML, ACM SIGPLAN Notices, v.42 n.1, January 2007
	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
	Lajos Nagy , Ryan Stansifer, Polymorphic type inference for the relational algebra in the functional database programming language neon, Proceedings of the 44th annual southeast regional conference, March 10-12, 2006, Melbourne, Florida
	Didier Rémy , Boris Yakobowski, A graphical presentation of ML^F types with a linear-time unification algorithm, Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation, January 16-16, 2007, Nice, Nice, France
	Jan Van den Bussche , Dirk Van Gucht , Stijn Vansummeren, A crash course on database queries, Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 11-13, 2007, Beijing, China
	G. W. Hamilton, Distillation: extracting the essence of programs, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 15-16, 2007, Nice, France
	Dimitrios Vytiniotis , Stephanie Weirich , Simon Peyton Jones, Boxy types: inference for higher-rank types and impredicativity, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Philip Wadler, The Girard—Reynolds isomorphism (second edition), Theoretical Computer Science, v.375 n.1-3, p.201-226, May, 2007
	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
	Patrick M. Rondon , Ming Kawaguci , Ranjit Jhala, Liquid types, ACM SIGPLAN Notices, v.43 n.6, June 2008
	Chiyan Chen , Hongwei Xi, Meta-programming through typeful code representation, Journal of Functional Programming, v.15 n.6, p.797-835, November 2005
	Matthew Fluet , Riccardo Pucella, Phantom types and subtyping, Journal of Functional Programming, v.16 n.6, p.751-791, November 2006
	Jurriaan Hage , Stefan Holdermans, Heap recycling for lazy languages, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA
	Prateek Mishra , Uday S. Reddy, Declaration-free type checking, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.7-21, January 14-16, 1985, New Orleans, Louisiana, United States
	S. V. Goncharov , A. Ye. Rudich, Translation of Algebraic Programs into Executable Codes, Cybernetics and Systems Analysis, v.41 n.5, p.775-782, September 2005
	Geoff W. Hamilton, Higher Order Deforestation, Fundamenta Informaticae, v.69 n.1-2, p.39-61, January 2006
	Simon Peyton Jones , Dimitrios Vytiniotis , Stephanie Weirich , Mark Shields, Practical type inference for arbitrary-rank types, Journal of Functional Programming, v.17 n.1, p.1-82, January 2007
	Francisco J. López Fraguas , Mario Rodríguez Artalejo , Rafael Del Vírseda, A new generic scheme for functional logic programming with constraints, Higher-Order and Symbolic Computation, v.20 n.1-2, p.73-122, June 2007
	Mário Florido , Luís Damas, Linearization of the lambda-calculus and its relation with intersection type systems, Journal of Functional Programming, v.14 n.5, p.519-546, September 2004
	Gérard Boudol, The recursive record semantics of objects revisited, Journal of Functional Programming, v.14 n.3, p.263-315, May 2004
	Andrew W. Appel , Amy P. Felty, Polymorphic lemmas and definitions in $\lambda$Prolog and Twelf, Theory and Practice of Logic Programming, v.4 n.2, p.1-39, January 2004
	Puri Arenas-Sánchez , Mario Rodríguez-Artalejo, A general framework for lazy functional logic programming with algebraic polymorphic types, Theory and Practice of Logic Programming, v.1 n.2, p.185-245, March 2001
	Wolfgang Naraschewski , Tobias Nipkow, Type Inference Verified: Algorithm W in Isabelle/HOL, Journal of Automated Reasoning, v.23 n.3, p.299-318, November 1999
	Catherine Dubois , Valérie Méénissier-Morain, Certification of a Type Inference Tool for ML: Damas–Milner within Coq, Journal of Automated Reasoning, v.23 n.3, p.319-346, November 1999
	Susumu Nishimura , Atsushi Ohori, Parallel functional programming on recursively defined data via data-parallel recursion, Journal of Functional Programming, v.9 n.4, p.427-462, July 1999
	Mark Lillibridge, Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC, Higher-Order and Symbolic Computation, v.12 n.1, p.75-104, April 1999
	Simon Peyton Jones, Bibliography, Journal of Functional Programming, v.13 n.1, p.241-255, January 2003
	J. B. Wells , Allyn Dimock , Robert Muller , Franklyn Turbak, A calculus with polymorphic and polyvariant flow types, Journal of Functional Programming, v.12 n.3, p.183-227, May 2002
	Martin Plümicke, Typeless programming in Java 5.0 with wildcards, Proceedings of the 5th international symposium on Principles and practice of programming in Java, September 05-07, 2007, Lisboa, Portugal
	Daan Leijen, Flexible types: robust type inference for first-class polymorphism, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA
	Christian Skalka, Types and trace effects for object orientation, Higher-Order and Symbolic Computation, v.21 n.3, p.239-282, September 2008
	Satish Chandra , Vijay Saraswat , Vivek Sarkar , Rastislav Bodik, Type inference for locality analysis of distributed data structures, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming, February 20-23, 2008, Salt Lake City, UT, USA
	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
	Ferruccio Damiani, Rank 2 Intersection for Recursive Definitions, Fundamenta Informaticae, v.77 n.4, p.451-488, December 2007
	Forrest Briggs , Melissa O'Neill, Functional genetic programming and exhaustive program search with combinator expressions, International Journal of Knowledge-based and Intelligent Engineering Systems, v.12 n.1, p.47-68, January 2008
	Martin Plümicke, Intersection types in Java, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy
	Daniel S. Dantas , David Walker , Geoffrey Washburn , Stephanie Weirich, AspectML: A polymorphic aspect-oriented functional programming language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.3, p.1-60, May 2008
	Zhaohui Luo, Coercions in a polymorphic type system, Mathematical Structures in Computer Science, v.18 n.4, p.729-751, August 2008
	Dimitrios Vytiniotis , Stephanie Weirich , Simon Peyton Jones, FPH: first-class polymorphism for Haskell, ACM SIGPLAN Notices, v.43 n.9, September 2008
	Daan Leijen, HMF: simple type inference for first-class polymorphism, ACM SIGPLAN Notices, v.43 n.9, September 2008
	Ravi Nanavati, Experience report: a pure shirt fits, ACM SIGPLAN Notices, v.43 n.9, September 2008
	Nabil El Boustani , Jurriaan Hage, Improving type error messages for generic java, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, January 19-20, 2009, Savannah, GA, USA
	Dima Alhadidi , Amine Boukhtouta , Nadia Belblidia , Mourad Debbabi , Prabir Bhattacharya, The dataflow pointcut: a formal and practical framework, Proceedings of the 8th ACM international conference on Aspect-oriented software development, March 02-06, 2009, Charlottesville, Virginia, USA
	Jurriaan Hage , Bastiaan Heeren, Strategies for Solving Constraints in Type and Effect Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 236, p.163-183, April, 2009
	Christian Urban , Julien Narboux, Formal SOS-Proofs for the Lambda-Calculus, Electronic Notes in Theoretical Computer Science (ENTCS), 247, p.139-155, August, 2009

Collaborative Colleagues:

Luis Damas: colleagues

Robin Milner: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player