A Compiled Implementation of Normalization by Evaluation

by Klaus Aehlig , Florian Haftmann , Tobias Nipkow
Citations:6 - 3 self