The Design of a Practical Proof Checker for a Lazy Functional Language.

Published in: Trends in Functional Programming (2012)

Keyphrases