Functor categories and two-level languages (1998) [18 citations — 5 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Moggi98functorcategories,author = {E. Moggi},
title = {Functor categories and two-level languages},
booktitle = {In Foundations of Software Science and Computation Structures (FoSSaCS},
year = {1998},
publisher = {Springer Verlag}
}
Years of Citing Articles
Abstract:
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (see [Gom91, GJ91, Gom92, JGS93, HM94]) have claimed correctness for lambda-mix (or extensions of it) based on denotational models, but the proofs of such claims rely on imprecise denitions and are basically awed. At a technical level there are two important dierences between our model and more naive models in Cpo: the domain for interpreting dynamic expressions is more abstract (we interpret code as -terms modulo -conversion), the semantics of newname is handled dierently (we exploit functor categories). The key idea is to interpret a two-level language in a suitable functor
