Dictionary-free overloading by partial evaluation
- 1 September 1995
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 8 (3) , 229-248
- https://doi.org/10.1007/bf01019005
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Formally optimal boxingPublished by Association for Computing Machinery (ACM) ,1994
- Implementing Haskell overloadingPublished by Association for Computing Machinery (ACM) ,1993
- Tutorial notes on partial evaluationPublished by Association for Computing Machinery (ACM) ,1993
- A gentle introduction to HaskellACM SIGPLAN Notices, 1992
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- Computing with lattices: An application of type classesJournal of Functional Programming, 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