Stem metalevel$ (all stems)
3 papers:
PADL-2000-Hickey #constraints #named #theorem proving- CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving (TJH), pp. 200–214.
WRLA-1998-ClavelDELMM #maude- Metalevel computation in Maude (MC, FD, SE, PL, NMO, JM), pp. 331–352.
ECOOP-1989-AttardiBBFG #programming- Metalevel Programming in CLOS (GA, CB, MRB, TF, MG), pp. 243–256.










