Report on the programming language Haskell

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Report on the programming language Haskell: a non-strict, purely functional language version 1.2

Full text

Pdf (5.06 MB)

Source

ACM SIGPLAN Notices archive
Volume 27 , Issue 5 (May 1992) table of contents
Haskell special issue

Pages: 1 - 164

Year of Publication: 1992

ISSN:0362-1340

Authors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 57, Citation Count: 125

Additional Information:

abstract references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	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/130697.130699 What is a DOI?

ABSTRACT

"Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published something erroneous. Since some of our fellow sinners are among the most careful and competent logicians on the contemporary scene, we regard this as evidence that the subject is refractory. Thus fullness of exposition is necessory for accurary; and excessive condensation would be false economy here, even more than it is ordinarily."

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	John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
	2	R. M. Burstall , D. B. MacQueen , D. T. Sannella, HOPE: An experimental applicative language, Proceedings of the 1980 ACM conference on LISP and functional programming, p.136-143, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802799]
	3	[3] H.B. Curry and R. Feys. Combinatory Logic. North-Holland Pub. Co., Amsterdam, 1958.
	4	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]
	5	M. Gordon , R. Milner , L. Morris , M. Newey , C. Wadsworth, A Metalanguage for interactive proof in LCF, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.119-130, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512773]
	6	[6] K. Hammond and C. Hall. A natural dynamic semantics for Haskell (draft). Department of Computing Science, Glasgow University, February 1991.
	7	[7] R. Hindley. The principal type scheme of an object in combinatory logic. Transactions of the American Mathematical Society, 146:29-60, December 1969.
	8	[8] P. Hudak and R. Sundaresh. On the expressiveness of purely functional I/O systems. Technical Report YALEU/DCS/RR665, Yale University, Department of Computer Science, December 1988.
	9	P. J. Landin, The next 700 programming languages, Communications of the ACM, v.9 n.3, p.157-166, March 1966 [doi>10.1145/365230.365257]
	10	[10] D.W. Matula. A formalization of floating-point numeric base conversion. IEEE Transactions on Computers, C-19(8):681-692, August 1970.
	11	John McCarthy, Recursive functions of symbolic expressions and their computation by machine, Part I, Communications of the ACM, v.3 n.4, p.184-195, April 1960 [doi>10.1145/367177.367199]
	12	[12] R.S. Nikhil. Id-Nouveau (version 88.0) reference manual. Technical report, MIT Laboratory for Computer Science, Cambridge, Mass., March 1988.
	13	Paul Penfield, Jr., Principal values and branch cuts in complex APL, Proceedings of the international conference on APL, p.248-256, October 21-23, 1981, San Francisco, California, United States
	14	Simon L. Peyton Jones, The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science), Prentice-Hall, Inc., Upper Saddle River, NJ, 1987
	15	[15] S.L. Peyton Jones and P. Wadler. A static semantics for HASKELL. Department of Computing Science, Glasgow University, May 1991.
	16	J Rees , W Clinger, Revised report on the algorithmic language scheme, ACM SIGPLAN Notices, v.21 n.12, p.37-79, Dec. 1986 [doi>10.1145/15042.15043]
	17	John C. Reynolds, Introduction, Logical foundations of functional programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	18	Guy L. Steele, Jr., Common LISP: the language, Digital Press, Newton, MA, 1984
	19	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
	20	Philip Wadler, A new array operation, Proceedings of the Workshop on Graph Reduction, p.328-335, September 29-October 01, 1986
	21	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 [doi>10.1145/75277.75283]

CITED BY 125

	E. P. Wentworth, Generalized regular expressions: a programming exercise in Haskell, ACM SIGPLAN Notices, v.28 n.5, p.49-54, May 1993
	Benjamin Goldberg, Functional programming languages, ACM Computing Surveys (CSUR), v.28 n.1, p.249-251, March 1996
	P. W. Grant , J. A. Sharp , M. F. Webster , X. Zhang, Some issues in a functional implementation of a finite element algorithm, Proceedings of the conference on Functional programming languages and computer architecture, p.12-17, June 09-11, 1993, Copenhagen, Denmark
	John Peterson, Media centered languages for new computing experiences, Proceedings of the 2005 conference on Diversity in computing, October 19-22, 2005, Albuquerque, New Mexico, USA
	Matthew Huntbach, Features of the concurrent programming language Aldwych, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida
	Samuel N. Kamin , David Hyatt, A special-purpose language for picture-drawing, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.23-23, October 15-17, 1997, Santa Barbara, California
	Paul Hudak , Joseph H. Fasel, A gentle introduction to Haskell, ACM SIGPLAN Notices, v.27 n.5, p.1-52, May 1992
	Cordelia V. Hall, Using Hindley-Milner type inference to optimise list representation, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.162-172, July-Sept. 1994
	Niklas Röjemo , Colin Runciman, Lag, drag, void and use—heap profiling and space-efficient compilation revisited, ACM SIGPLAN Notices, v.31 n.6, p.34-41, June 15, 1996
	Henrik Nilsson , Jan Sparud, The Evaluation Dependence Tree as a Basis for Lazy FunctionalDebugging, Automated Software Engineering, v.4 n.2, p.121-150, April 1997
	David M. Goblirsch, An introduction to Haskell with applications to digital signal processing, Proceedings of the 1994 ACM symposium on Applied computing, p.425-430, March 06-08, 1994, Phoenix, Arizona, United States
	Lennart Augustsson, Partial evaluation in aircraft crew planning, ACM SIGPLAN Notices, v.32 n.12, p.127-136, Dec. 1997
	D. A. Turner, SNACC: a parser generator for use with Miranda, Proceedings of the 1996 ACM symposium on Applied Computing, p.401-407, February 17-19, 1996, Philadelphia, Pennsylvania, United States
	Rafael Dueire Lins, An efficient algorithm for cyclic reference counting, Information Processing Letters, v.83 n.3, p.145-150, 16 August 2002
	John Peterson , Mark Jones, Implementing type classes, ACM SIGPLAN Notices, v.28 n.6, p.227-236, June 1993
	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
	Rex L. Page , Brian D. Moe, Experience with a large scientific application in a functional language, Proceedings of the conference on Functional programming languages and computer architecture, p.3-11, June 09-11, 1993, Copenhagen, Denmark
	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
	Patrick M. Sansom , Simon L. Peyton Jones, Time and space profiling for non-strict, higher-order functional languages, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.355-366, January 23-25, 1995, San Francisco, California, United States
	My Hoang , John C. Mitchell, Lower bounds on type inference with subtypes, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.176-185, January 23-25, 1995, San Francisco, California, United States
	Arthur G. Duncan, Reusable Ada libraries supporting infinite data structures, ACM SIGAda Ada Letters, v.XVIII n.6, p.89-103, Nov./Dec. 1998
	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
	John Hughes , Lars Pareto , Amr Sabry, Proving the correctness of reactive systems using sized types, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.410-423, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Rogardt Heldal , John Hughes, Partial evaluation and separate compilation, ACM SIGPLAN Notices, v.32 n.12, p.1-11, Dec. 1997
	Adrienne Bloss , Michael Keenan , Kimberly Johnson, Tools for functional simulation, Proceedings of the 25th conference on Winter simulation, p.632-640, December 12-15, 1993, Los Angeles, California, United States
	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
	Sheng Liang , Paul Hudak , Mark Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.333-343, January 23-25, 1995, San Francisco, California, United States
	Allen L. Ambler , Margaret M. Burnett , Betsy A. Zimmerman, Operational versus definitional: a perspective on programming paradigms, Computer, v.25 n.9, p.28-43, September 1992
	Martín Hötzel Escardó, On lazy natural numbers with applications to computability theory and functional programming, ACM SIGACT News, v.24 n.1, p.61-67, Winter 1993
	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
	Magnus Carlsson , Thomas Hallgren, FUDGETS: a graphical user interface in a lazy functional language, Proceedings of the conference on Functional programming languages and computer architecture, p.321-330, June 09-11, 1993, Copenhagen, Denmark
	David J. King , John Launchbury, Structuring depth-first search algorithms in Haskell, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.344-354, January 23-25, 1995, San Francisco, California, United States
	Hongwei Xi , Frank Pfenning, Dependent types in practical programming, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.214-227, January 20-22, 1999, San Antonio, Texas, United States
	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
	Markus Mohnen, Interfaces with default implementations in Java, Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, June 13-14, 2002, Dublin, Ireland
	Chih-Ping Chen , Paul Hudak, Rolling your own mutable ADT—a connection between linear types and monads, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.54-66, January 15-17, 1997, Paris, France
	Rajiv Mirani , Paul Hudak, First-class schedules and virtual maps, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.78-85, June 26-28, 1995, La Jolla, California, United States
	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
	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
	Y. Kozato , G. P. Otto, Benchmarking real-life image processing programs in lazy functional languages, Proceedings of the conference on Functional programming languages and computer architecture, p.18-27, June 09-11, 1993, Copenhagen, Denmark
	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
	Tim Sheard , Zine-el-abidine Benaissa , Emir Pasalic, DSL implementation using staging and monads, ACM SIGPLAN Notices, v.35 n.1, p.81-94, Jan. 2000
	Nadia Nedjah , Luiza de Macedo Mourelle, Efficient concise deterministic pattern-matching automata for ambiguous patterns, ACM SIGPLAN Notices, v.37 n.2, February 2002
	Rudolf Berghammer , Frank Huch, From functional to object-oriented programming: a smooth transition for beginners, Proceedings of the 2005 workshop on Functional and declarative programming in education, September 25-25, 2005, Tallinn, Estonia
	Salvador Lucas , Claude Marché , Joseacute; Meseguer, Operational termination of conditional term rewriting systems, Information Processing Letters, v.95 n.4, p.446-453, 31 August 2005
	Tim Sheard , Zine-el-abidine Benaissa , Emir Pasalic, DSL implementation using staging and monads, Proceedings of the 2nd conference on Conference on Domain-Specific Languages, p.7-7, October 03-05, 1999, Austin, Texas
	Chris Okasaki, The role of lazy evaluation in amortized data structures, ACM SIGPLAN Notices, v.31 n.6, p.62-72, June 15, 1996
	Pieter H. Hartel , Koen G. Langendoen, Benchmarking implementations of lazy functional languages, Proceedings of the conference on Functional programming languages and computer architecture, p.341-349, June 09-11, 1993, Copenhagen, Denmark
	Pedro Palao Gostanza , Ricardo Peña , Manuel Núñez, A new look at pattern matching in abstract data types, ACM SIGPLAN Notices, v.31 n.6, p.110-121, June 15, 1996
	Conal Elliott, Modeling interactive 3D and multimedia animation with an embedded language, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.22-22, October 15-17, 1997, Santa Barbara, California
	Amr Sabry, What is a purely functional language?, Journal of Functional Programming, v.8 n.1, p.1-22, January 1998
	Peter Achten, Teaching functional programming with soccer-fun, Proceedings of the 2008 international workshop on Functional and declarative programming in education, September 21-21, 2008, Victoria, BC, Canada
	Johan Jeuring, Polytypic pattern matching, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.238-248, June 26-28, 1995, La Jolla, 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
	Patrick M. Sansom , Simon L. Peyton Jones, Generational garbage collection for Haskell, Proceedings of the conference on Functional programming languages and computer architecture, p.106-116, June 09-11, 1993, Copenhagen, Denmark
	Zhanyong Wan , Paul Hudak, Functional reactive programming from first principles, ACM SIGPLAN Notices, v.35 n.5, p.242-252, May 2000
	Andrew D. Gordon, An operational semantics for I/O in a lazy functional language, Proceedings of the conference on Functional programming languages and computer architecture, p.136-145, June 09-11, 1993, Copenhagen, Denmark
	Atsushi Ohori , Tomonobu Takamizawa, An Unboxed Operational Semantics for ML Polymorphism, Lisp and Symbolic Computation, v.10 n.1, p.61-91, June 1997
	Lloyd Allison, Types and classes of machine learning and data mining, Proceedings of the twenty-sixth Australasian conference on Computer science: research and practice in information technology, p.207-215, February 01, 2003, Adelaide, Australia
	Andrew Gill , John Launchbury , Simon L. Peyton Jones, A short cut to deforestation, Proceedings of the conference on Functional programming languages and computer architecture, p.223-232, June 09-11, 1993, Copenhagen, Denmark
	Marcel Beemster, Strictness optimization for graph reduction machines (why id might not be strict), ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.5, p.1449-1466, Sept. 1994
	Stephen J. Sullivan , Benjamin G. Zorn, Numerical analysis using nonprocedural paradigms, ACM Transactions on Mathematical Software (TOMS), v.21 n.3, p.267-298, Sept. 1995
	Martín Abadi, Access control in a core calculus of dependency, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Olaf Müller , Tobias Nipkow , David Von Oheimb , Oscar Slotosch, HOLCF = HOL + LCF, Journal of Functional Programming, v.9 n.2, p.191-223, March 1999
	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
	Robert F. Stärk, Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages, Journal of Functional Programming, v.8 n.2, p.97-129, March 1998
	J. Hammes , S. Sur , W. Böhm, On the effectiveness of functional language features: NAS benchmark FT, Journal of Functional Programming, v.7 n.1, p.103-123, January 1997
	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
	Zhanyong Wan , Walid Taha , Paul Hudak, Real-time FRP, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Rinus Plasmeijer , Marko van Eekelen, Keep it clean: a unique approach to functional programming., ACM SIGPLAN Notices, v.34 n.6, June 1999
	Dominic Duggan , Constantinos Sourelis, Mixin modules, ACM SIGPLAN Notices, v.31 n.6, p.262-273, June 15, 1996
	Cormac Flanagan , Rishiyur S. Nikhil, pHluid: the design of a parallel functional language implementation on workstations, ACM SIGPLAN Notices, v.31 n.6, p.169-179, June 15, 1996
	Yuri Gurevich , Benjamin Rossman , Wolfram Schulte, Semantic essence of AsmL, Theoretical Computer Science, v.343 n.3, p.370-412, 17 October 2005
	Martín Abadi, Access Control in a Core Calculus of Dependency, Electronic Notes in Theoretical Computer Science (ENTCS), 172, p.5-31, April, 2007
	Melissa E. O'Neill , F. Warren Burton, A new method for functional arrays, Journal of Functional Programming, v.7 n.5, p.487-513, September 1997
	Cristina David , Cristian Gherghina , Wei-Ngan Chin, Translation and optimization for a core calculus with exceptions, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, January 19-20, 2009, Savannah, GA, USA
	Gerald Baumgartner , Vincent F. Russo, Implementing signatures for C++, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.1, p.153-187, Jan. 1997
	Maxwell Krohn , Eddie Kohler , M. Frans Kaashoek, Events can make sense, 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference, p.1-14, June 17-22, 2007, Santa Clara, CA
	Karl Crary , Stephanie Weirich, Flexible type analysis, ACM SIGPLAN Notices, v.34 n.9, p.233-248, Sept. 1999
	Stavros Tripakis , Christos Sofronis , Paul Caspi , Adrian Curic, Translating discrete-time simulink to lustre, ACM Transactions on Embedded Computing Systems (TECS), v.4 n.4, p.779-818, November 2005
	Lennart Augustsson, Cayenne—a language with dependent types, ACM SIGPLAN Notices, v.34 n.1, p.239-250, Jan. 1999
	Stéphane Barbey, Working with Ada 9X classes, Proceedings of the conference on TRI-Ada '94, p.129-140, November 06-11, 1994, Baltimore, Maryland, United States
	Gerald Baumgartner , Vincent F. Russo, Implementing signatures for C++, Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference, p.3-3, April 11-14, 1994, Cambridge, MA
	Michael Hanus , Christian Prehofer, Higher-order narrowing with definitional trees, Journal of Functional Programming, v.9 n.1, p.33-75, January 1999
	Zhong Shao , John H. Reppy , Andrew W. Appel, Unrolling lists, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.185-195, July-Sept. 1994
	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
	Zhong Shao, Typed common intermediate format, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.8-8, October 15-17, 1997, Santa Barbara, California
	Jeffrey Dean , Craig Chambers, Towards better inlining decisions using inlining trials, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.273-282, July-Sept. 1994
	Shriram Krishnamurthi , Matthias Felleisen, Toward a formal theory of extensible software, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.88-98, Nov. 1998
	Lorenz Huelsbergen , James R. Larus, A concurrent copying garbage collector for languages that distinguish (im)mutable data, ACM SIGPLAN Notices, v.28 n.7, p.73-82, July 1993
	Conal Elliott, Declarative event-oriented programming, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.56-67, September 20-23, 2000, Montreal, Quebec, Canada
	Suresh Jagannathan, Metalevel building blocks for modular systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.456-492, May 1994
	Conal Elliott, An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation, IEEE Transactions on Software Engineering, v.25 n.3, p.291-308, May 1999
	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
	Christoph A. Herrmann , Christian Lengauer, Parallelization of divide-and-conquer by translation to nested loops, Journal of Functional Programming, v.9 n.3, p.279-310, May 1999
	Salvador Lucas, Practical use of polynomials over the reals in proofs of termination, Proceedings of the 9th ACM SIGPLAN international symposium on Principles and practice of declarative programming, July 14-16, 2007, Wroclaw, Poland
	Francisco Durán , Salvador Lucas , Claude Marché , José Meseguer , Xavier Urbain, Proving operational termination of membership equational programs, Higher-Order and Symbolic Computation, v.21 n.1-2, p.59-88, June 2008
	Philip Wadler, How to declare an imperative, ACM Computing Surveys (CSUR), v.29 n.3, p.240-263, Sept. 1997
	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
	L. A. Dennis , A. Bundy , I. Green, Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts, Annals of Mathematics and Artificial Intelligence, v.29 n.1-4, p.99-138, 2000
	Paul Caspi , Marc Pouzet, Synchronous Kahn networks, ACM SIGPLAN Notices, v.31 n.6, p.226-238, June 15, 1996
	Margaret Burnett , Anurag Agrawal , Pieter van Zee, Exception Handling in the Spreadsheet Paradigm, IEEE Transactions on Software Engineering, v.26 n.10, p.923-942, October 2000
	Andrew J. Bennett , Paul H. J. Kelly , Ross A. Paterson, Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence, Journal of Functional Programming, v.11 n.4, p.359-393, July 2001
	Wan Fokkink , Jasper Kamperman , Pum Walters, Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.3, p.679-706, May 1998
	J.-C. Royer, An Operational Approach to the Semantics of Classes: Application to Type Checking, Programming and Computing Software, v.28 n.3, p.127-147, May-June 2002
	Pascal Fradet , Julien Mallet, Compilation of a specialized functional language for massively parallel computers, Journal of Functional Programming, v.10 n.6, p.561-605, November 2000
	Serenella Cerrito , Delia Kesner, Pattern matching as cut elimination, Theoretical Computer Science, v.323 n.1-3, p.71-127, 14 September 2004
	Robert Harper , Greg Morrisett, Compiling polymorphism using intensional type analysis, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.130-141, January 23-25, 1995, San Francisco, California, United States
	Craig Chambers , Gary T. Leavens, Typechecking and modules for multi-methods, ACM SIGPLAN Notices, v.29 n.10, p.1-15, Oct. 1994
	Torsten Grust , Marc H. Scholl, How to Comprehend Queries Functionally, Journal of Intelligent Information Systems, v.12 n.2-3, p.191-218, March 1999
	Kevin Hammond , Christian Ferdinand , Reinhold Heckmann, Towards formally verifiable resource bounds for real-time embedded systems, ACM SIGBED Review, v.3 n.4, p.27-36, October 2006
	Adriaan Moors , Frank Piessens , Martin Odersky, Generics of a higher kind, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Salvador Lucas , José Meseguer, Order-sorted dependency pairs, Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, July 15-17, 2008, Valencia, Spain
	Craig Chambers , Weimin Chen, Efficient multiple and predicated dispatching, ACM SIGPLAN Notices, v.34 n.10, p.238-255, Oct. 1999
	Zhenjiang Hu , Masato Takeichi , Wei-Ngan Chin, Parallelization in calculational forms, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.316-328, January 19-21, 1998, San Diego, California, United States
	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
	Dominic Duggan, Dynamic typing for distributed programming in polymorphic languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.1, p.11-45, Jan. 1999
	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
	Craig Chambers , Gary T. Leavens, Typechecking and modules for multimethods, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.6, p.805-843, Nov. 1995
	Andrew K. Wright , Robert Cartwright, A practical soft type system for scheme, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.1, p.87-152, Jan. 1997
	Margaret Burnett , John Atwood , Rebecca Walpole Djang , James Reichwein , Herkimer Gottfried , Sherry Yang, Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm, Journal of Functional Programming, v.11 n.2, p.155-206, March 2001
	Salvador Lucas, Proving termination of context-sensitive rewriting by transformation, Information and Computation, v.204 n.12, p.1782-1846, December, 2006
	Salvador Lucas, Context-sensitive rewriting strategies, Information and Computation, v.178 n.1, p.294-343, October 10, 2002
	Peter Van Roy , Per Brand , Denys Duchier , Seif Haridi , Christian Schulte , Martin Henz, Logic programming in the context of multiparadigm programming: the Oz experience, Theory and Practice of Logic Programming, v.3 n.6, p.717-763, November 2003
	Richard A. Frost, Realization of natural language interfaces using lazy functional programming, ACM Computing Surveys (CSUR), v.38 n.4, p.11-es, 2006