Search Constraints
Search Results
Select an image to start the slideshow
A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report)
1 of 8
MetaML and multi-stage programming with explicit annotations
2 of 8
The anatomy of a component generator
3 of 8
Multi-stage programming : axiomatization and type safety
4 of 8
On type-directed partial evaluation
5 of 8
Facets of multi-stage computation in software architecture
6 of 8
On using an OODBMS in a CASE environment
7 of 8
Multi-state programming : its theory and applications
8 of 8