Difference between revisions of "Publications:A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial"
From CERES
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha |PID=588299 |Name=Taha, Walid [waltah] (Department of Computing ...") |
(No difference)
|
Latest revision as of 04:45, 26 June 2014
| 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 |
