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.