Found 8 Documents (Results 1–8)
Inlining as staged computation. (English) Zbl 1036.68018
MSC:
68N15
Pragmatic aspects of reusable program generators. (English) Zbl 1036.68014
MSC:
68N01
Compiling embedded languages. (English) Zbl 1034.68019
Program specialization for execution monitoring. (English) Zbl 1036.68023
MSC:
68N18
Closed types for a safe imperative MetaML. (English) Zbl 1036.68024
MSC:
68N19
Specification and correctness of lambda lifting. (English) Zbl 1036.68021
MSC:
68N18
Filter Results by …
all
top 5
Author
- Calcagno, Cristiano (1)
- de Moor, Oege (1)
- Elliott, Conal M. (1)
- Finne, Sigbjørn (1)
- Fischbach, Adam (1)
- Fischer, Bernd (1)
- Grossman, Dan (1)
- Hannan, John (1)
- Hornof, Luke (1)
- Jim, Trevor (1)
- Moggi, Eugenio (1)
- Monnier, Stefan (1)
- Morrisett, Greg (1)
- Ramsey, Norman (1)
- Schumann, Johann M. Ph. (1)
- Shao, Zhong (1)
- Smith, Frederick W. (1)
- Thiemann, Peter J. (1)
Main Field
- 68-XX (8)