A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report) Public Deposited

Creator
Identifier
  • https://doi.org/10.6083/ks65hc53c
Publication Date
  • 1999
Document type
Rights
License

Items