Implementing Haskell overloading

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Implementing Haskell overloading

Full text

Pdf (820 KB)

Source

Functional Programming Languages and Computer Architecture archive
Proceedings of the conference on Functional programming languages and computer architecture table of contents

Copenhagen, Denmark

Pages: 65 - 73

Year of Publication: 1993

ISBN:0-89791-595-X

Author

Lennart Augustsson

Sponsors

SIGARCH: ACM Special Interest Group on Computer Architecture
IFIP WG 2.8 : IFIP WG 2.8
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 39, Citation Count: 17

Additional Information:

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/165180.165191 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.

	AJ89	L. Augustsson , T. Johnsson, The Chalmers lazy ML-compiler, The Computer Journal, v.32 n.2, p.127-141, April 1989 [doi>10.1093/comjnl/32.2.127]
	Aug93	L. Augustsson. HBC User's Manual. Programming Methodology Group, Department of Computer Sciences, Chalmers, S-412 96 GSteborg, Sweden, 1993. Distributed with the HBC cornprier.
	Cha93	Craig David Chambers, The design and implementation of the self compiler, an optimizing compiler for object-oriented programming languages, Stanford University, Stanford, CA, 1992
	DS84	L. Peter Deutsch , Allan M. Schiffman, Efficient implementation of the smalltalk-80 system, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.297-302, January 15-18, 1984, Salt Lake City, Utah, United States [doi>10.1145/800017.800542]
	HHPW92	Cordelia Hall, Kevin He{mmond, Simon Peyton Jones, and Philip Wadler. Type Classes in Haskell. Report, Department of Computer Science, Glasgow University, 1992.
	HL93	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 [doi>10.1145/165180.165230]
	Hud92	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 [doi>10.1145/130697.130699]
	Joh87	T. Johnsson. Compiling Lazy Functional Languages. PhD thesis, Department of Computer Sciences, Chalmers University of Technology, GSteborg, Sweden, February 1987.
	Jon	Mark Jones. A new approach to the implementation of type classes. Appeared on the Haskell mailing list.
	Kae88	Stefan Kaes, Parametric Overloading in Polymorphic Programming Languages, Proceedings of the 2nd European Symposium on Programming, p.131-144, March 21-24, 1988
	PJS89	Simon L. Peyton Jones , Jon Salkild, The spineless tagless G-machine, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.184-201, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99385]
	SNvGP91	Sjaak Smetsers , Eric Nöcker , John van Groningen , Rinu Plasmeijer, Generating efficient code for lazy functional languages, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.592-617, June 1991, Cambridge, Massachusetts, United States
	Str	Bjarne Stroustrup. C-I-d- Reference Manual.
	WB89	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 17

	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
	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
	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
	Lennart Augustsson, Cayenne—a language with dependent types, ACM SIGPLAN Notices, v.34 n.1, p.239-250, Jan. 1999
	John Peterson , Mark Jones, Implementing type classes, ACM SIGPLAN Notices, v.28 n.6, p.227-236, June 1993
	Andrew Tolmach, Tag-free garbage collection using explicit type parameters, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.1-11, July-Sept. 1994
	Matthias Neubauer , Peter Thiemann , Martin Gasbichler , Michael Sperber, Functional logic overloading, ACM SIGPLAN Notices, v.37 n.1, p.233-244, Jan. 2002
	Hongwei Xi, Unifying object-oriented programming with typed functional programming, Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, p.117-125, September 12-14, 2002, Aizu, Japan
	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
	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
	Hongwei Xi , Chiyan Chen , Gang Chen, Guarded recursive datatype constructors, ACM SIGPLAN Notices, v.38 n.1, p.224-235, January 2003
	Thomas Johnsson, Efficient compilation of lazy evaluation, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Gabriel Dos Reis , Bjarne Stroustrup, Specifying C++ concepts, ACM SIGPLAN Notices, v.41 n.1, p.295-308, January 2006
	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
	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
	Jacques Carette, Gaussian elimination: a case study in efficient genericity with MetaOCaml, Science of Computer Programming, v.62 n.1, p.3-24, September 2006
	Karl-Filip Faxén, A static semantics for Haskell, Journal of Functional Programming, v.12 n.5, p.295-357, July 2002