A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) (2000)

by Walid Taha
Citations:30 - 10 self