MetaML and Multi-Stage Programming with Explicit Annotations (1999)

by Walid Taha , Tim Sheard
Venue:Theoretical Computer Science
Citations:241 - 30 self

Documents Related by Co-Citation

149 Hygienic macro expansion – Eugene Kohlbecker, Daniel Friedman, Matthias Felleisen, Bruce Duba
186 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
518 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
528 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
642 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft, L O Andersen, T Mogensen - 1993
731 Notions of Computation and Monads – Eugenio Moggi - 1991
3836 Introduction to automata theory, languages, and computation – J E Hopcroft, R Motwani, J D Ullman - 2001