The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving

Sava Mintchev, David Lester, Gilles Dowek (Editor), Jan Heering (Editor), Karl Meinke (Editor), Bernhard Möller (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this