Implementing Haskell overloading (1993)

Cached

Download Links

by Lennart Augustsson
Venue:In Functional Programming Languages and Computer Architecture
Citations:44 - 1 self

Active Bibliography

5 Representation Analysis for Coercion Placement – Karl-Filip Faxén
Experience with a Clustered Parallel Reduction Machine – M. Beemster, P. H. Hartel, L. O. Hertzberger, R. F. H. Hofman, K. G. Langendoen, L. L. Li, R. Milikowski, W. G. Vree, H. P. Barendregt, J. C. Mulder - 1993
18 Benchmarking implementations of functional languages with “pseudoknot” a float-intensive benchmark – Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp - 1996
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
2 An Embryo to a Debugger for Haskell – Jan Sparud - 1994
5 Partial Evaluation in Aircraft Crew Planning – Lennart Augustsson - 1997
4 Towards a Haskell Debugger – Jan Sparud - 1995
A Formalism for C++ N1885=05-0145 Abstract – Gabriel Dos Reis
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
Extracting Programs from . . . – Martin Sulzmann - 2006
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
9 Javagi: Generalized interfaces for java – Stefan Wehr, Ralf Lämmel, Peter Thiemann - 2007
8 Type Inference for Overloading without Restrictions, Declarations or Annotations – Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto - 1999
8 ML modules and Haskell type classes: A constructive comparison – Stefan Wehr, Manuel M. T. Chakravarty
15 Specifying C++ concepts – Gabriel Dos Reis, Bjarne Stroustrup - 2006
1 FAST compiler user's guide – Pieter Hartel, Hugh Glaser, John Wild - 1993
1 Efficient Shared-Memory Support for Parallel Graph Reduction – Andrew J. Bennett, Paul H. J. Kelly - 1996
15 Parametric Type Classes (Extended Abstract) – Kung Chen, Paul Hudak, Martin Odersky - 1992
31 Type Checking Type Classes – Tobias Nipkow, Christian Prehofer - 1993