Dictionary-free overloading by partial evaluation
Author:
- 1 September 1995
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 8 (3) , 229-248
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Computing with lattices: An application of type classesJournal of Functional Programming, 2008
- Formally optimal boxing1994
- Implementing Haskell overloading1993
- Tutorial notes on partial evaluation1993
- A gentle introduction to HaskellACM SIGPLAN Notices, 1992
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- A partial evaluator for the untyped lambda-calculusJournal of Functional Programming, 1991
- Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming languageACM SIGPLAN Notices, 1989
- An experiment in partial evaluation: The generation of a compiler generatorLecture Notes in Computer Science, 1985
- Some ideas on data types in high-level languagesCommunications of the ACM, 1977