Functor categories and two-level languages
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 211-225
- https://doi.org/10.1007/bfb0053552
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Metalanguages and ApplicationsPublished by Cambridge University Press (CUP) ,1997
- A categorical account of two-level languagesElectronic Notes in Theoretical Computer Science, 1997
- Polymorphic binding-time analysisPublished by Springer Nature ,1994
- Specifying the correctness of binding-time analysisJournal of Functional Programming, 1993
- Two-Level Functional LanguagesPublished by Cambridge University Press (CUP) ,1992
- Semantics of local variablesPublished by Cambridge University Press (CUP) ,1992
- A self-applicable partial evaluator for the lambda calculusACM Transactions on Programming Languages and Systems, 1992
- Notions of computation and monadsInformation and Computation, 1991
- A partial evaluator for the untyped lambda-calculusJournal of Functional Programming, 1991
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963