Publications:A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial

From CERES
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial
Author Walid Taha
Year 2000
PublicationType Conference Paper
Journal
HostPublication
DOI
Conference PEPM'00. International Symposium on Partial Evaluation and Semantics Based Program Manipulation.
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588299
Abstract