A categorical analysis of multi-level languages (extended abstract
| Author(s) : | Walid Taha Eugenio Moggi Zine El-abidine Benaissa Tim Sheard, |
| Publisher : | N/A |
| Publication Date : | 1998 |
| ISSN : | N/A |
| Abstract : | Abstract. We propose categorical models for fl, |