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

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

Documents Related by Co-Citation

152 Hygienic macro expansion – Eugene Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce Duba
188 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
734 Notions of Computation and Monads – Eugenio Moggi - 1991
3890 J.D.: Introduction to Automata Theory, Languages and Computation, 2nd edn – J E Hopcroft, R Motwani, Ullman - 2001