Sciweavers

71
Voted
ENTCS
2008
101views more  ENTCS 2008»
14 years 9 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