Sciweavers

ENTCS
2008
101views more  ENTCS 2008»
13 years 3 months ago
Imperative LF Meta-Programming
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
Aaron Stump