A categorical account of two-level languages
作者： Eugenio Moggi
DOI: 10.1016/S1571-0661(05)80155-0
关键词: Categorical logic 、 Third-generation programming language 、 Categorical variable 、 Context (language use) 、 Comparison of multi-paradigm programming languages 、 Code generation 、 Artificial intelligence 、 Partial evaluation 、 Programming language 、 Ontology language 、 Natural language processing 、 Second-generation programming language 、 Cone (formal languages) 、 Computer science
摘要: Abstract We give an account of two-level languages in terms indexed categories and universal properties well-known the context categorical logic. This provides three important insights: establishes precise analogies between module languages, explains used partial evaluation those for code generation, suggests extensions that should be valuable type-specialization shape-analysis.
elsevier.com
sci-hub.se 参考文章(0)