A Categorical Analysis of Multi-Level Languages (Extended Abstract)

Authors:
Zine E Benaissa;Eugenio Moggi;Walid Taha;Tim Sheard
Affiliations:
-;-;-;-
Venue:
A Categorical Analysis of Multi-Level Languages (Extended Abstract)
Year:
1998

Citing 0
Cited 2

A sound reduction semantics for untyped CBN mutli-stage computation. Or, the theory of MetaML is non-trival (extended abstract)

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
An Idealized MetaML: Simpler, and More Expressive

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose categorical models for lambda-circle, lambda-box, MetaML, and AIM. First, we focus on the underlying logical modalities and the interactions between them, then we investigate the interactions between logical modalities and computational monads. We give two examples of categorical model: one simpler but with some limitations, the other more complex but able to model all features of AIM.