Dictionary-free overloading by partial evaluation

Lennart Augustsson. Implementing Haskell overloading. InFPCA '93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, pages 65?73. ACM Press, 1993.

C. Chambers and D. Ungar. Customization: Optimizing compiler technology for Self, a dynamically-typed object-oriented programming language. InACM SIGPLAN '91 Conference on Programming Language Design and Implementation, pages 146?160. ACM Press, 1989.

C. Consel and O. Danvy. Tutorial notes on partial evaluation. InTwentieth ACM Symposium on Principles of Programming Languages, Charleston, South Carolina, January 1993, pages 493?501. ACM Press, 1993.

C. Consel and P. Jouvelot. Separate polyvariant binding-time analysis. Technical report CS/E 93-006, Oregon Graduate Institute, Department of Computer Science, March 1993.

C. K. Gomard and N. D. Jones. A partial evaluator for the untyped lambda-calculus.Journal of Functional Programming 1(1): 21?69, 1991.

D. Gries and N. Gehani. Some ideas on data types in high-level languages.Communications of the ACM 20 (6): 414?420, 1977.

F. Henglein and J. Jørgensen. Formally optimal boxing. InPOPL'94: 21st ACM Symposium on Principles of Programming Languages, pages 213?226. ACM Press, 1994.

P. Hudak and J. Fasel. A gentle introduction to Haskell.ACM SIGPLAN Notices 27 (5), May 1992. Also available as Research Report YALEU/DCS/RR-901, Yale University, Department of Computer Science, April 1992.

P. Hudak, S. Peyton Jones, and P. Wadler, editors. Report on the programming language Haskell, a non-strict purely functional language (version 1.2).ACM SIGPLAN Notices 27 (5), May 1992.

Mark P. Jones. Computing with lattices: An application of type classes.Journal of Functional Programming 2 (4): 475?503, 1992.

Mark P. Jones.Qualified Types: Theory and Practice. PhD thesis, Programming Research Group, Oxford University Computing Laboratory, July 1992. Published by Cambridge University Press in the Distinguished Dissertations in Computer Science Series.

Mark P. Jones. Partial evaluation for dictionary-free overloading. Research Report YALEU/DCS/RR-959, Yale University, New Haven, Connecticut, USA, April 1993.

N. D. Jones, P. Sestoft, and H. Søndergaard. An experiment in partial evaluation: The generation of a compiler generator. In J.-P. Jouannaud, editor,Rewriting Techniques and Applications, LNCS 202, pages 124?140. Springer-Verlag, 1985.

S. L. Peyton Jones and J. Launchbury. Unboxed values as first class citizens in a non-strict functional language. In J. Hughes, editor,Fifth ACM Conference on Functional Programming Languages and Computer Architecture, LNCS 523, pages 636?666. Springer-Verlag, 1991.

S. L. Peyton Jones and P. Wadler. A static semantics for Haskell (draft). Technical report, Department of Computing Science, University of Glasgow, February 1992.

S. C. Khoo and R. S. Sundaresh. Compiling inheritance using partial evaluation.Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'91), pages 211?222. ACM Press, 1991.

X. Leroy. Efficient data representation in polymorphic languages. Research report 1264, INRIA, July 1990.

X. Leroy. Unboxed objects and polymorphic typing. InNineteenth Annual ACM Symposium on Principles of Programming Languages, pages 177?188. ACM Press, 1992.

R. Morrison, A. Dearle, R. C. H. Connor, and A. L. Brown. An ad-hoc approach to the implementation of polymorphism.ACM Transactions on Programming Languages and Systems 13 (3): 342?371, 1991.

F. Nielson. A formal type system for comparing partial evaluators. In D. Bjørner, A. P. Ershov, and N. D. Jones, editors,Partial Evaluation and Mixed Computation, pages 349?384. North-Holland, 1988.

J. Peterson and M. P. Jones. Implementing type classes. InACM SIGPLAN Conference on Programming Language Design and Implementation. SIGPLAN Notices28 (6): 227?236, 1993.

P. Wadler and S. Blott. How to makead hoc polymorphism lessad hoc. InSixteenth ACM Symposium on Principles of Programming Languages, pages 60?76. ACM Press, 1989.

D. Weise and S. Seligman. Accelerating object-oriented simulation via automatic program specialization. Technical Report CSL-TR-92-519, Department of Electrical Engineering and Computer Science, Stanford University, April 1992.