3 search results - page 1 / 1 » Twelf and Delphin: Logic and Functional Programming in a Met... |
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
CADE
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
CADE
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...