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