Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software,General Computer Science
Reference23 articles.
1. Lennart Augustsson. Implementing Haskell overloading. InFPCA '93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, pages 65?73. ACM Press, 1993.
2. 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.
3. 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.
4. 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.
5. C. K. Gomard and N. D. Jones. A partial evaluator for the untyped lambda-calculus.Journal of Functional Programming 1(1): 21?69, 1991.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generic go to go: dictionary-passing, monomorphisation, and hybrid;Proceedings of the ACM on Programming Languages;2022-10-31
2. Featherweight go;Proceedings of the ACM on Programming Languages;2020-11-13
3. Finitary polymorphism for optimizing type-directed compilation;Proceedings of the ACM on Programming Languages;2018-07-30
4. Staged generic programming;Proceedings of the ACM on Programming Languages;2017-08-29
5. Ambiguity and constrained polymorphism;Science of Computer Programming;2016-08