RML -- A New Language and Implementation for Natural Semantics (1994)

Cached

Download Links

by Mikael Pettersson
Venue:PROCEEDINGS OF THE 6TH INTERNATIONAL SYMPOSIUM ON PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING, PLILP, VOLUME 884 OF LNCS
Citations:15 - 2 self

Document Versions

RML -- A New Language and Implementation for Natural Semantics –Mikael Pettersson — 1994 — PROCEEDINGS OF THE 6TH INTERNATIONAL SYMPOSIUM ON PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING, PLILP, VOLUME 884 OF LNCS
RML - A New Language and Implementation for Natural Semantics –Mikael Pettersson — 1994 — Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, PLILP, volume 884 of LNCS