17 search results - page 1 / 4 » tphol 2008 |
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...