Sciweavers

ENTCS
2008
101views more  ENTCS 2008»
14 years 16 days 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