A Basis for a Multilevel Metalogic Programming Language (1994)

Cached

Download Links

by Jonas Barklund , Katrin Boberg , Pierangelo Dell'Acqua
Venue:Logic Program Synthesis and Transformation – Meta-Programming in Logic. LNCS 883
Citations:8 - 3 self