Theorem Proving for Functional Programmers (2002)

Cached

Download Links

by Sparkle Functional Theorem , Maarten De Mol , Marko Van Eekelen , Rinus Plasmeijer
Venue:The 13th International Workshop on Implementation of Functional Languages, IFL 2001, Selected Papers, volume 2312 of LNCS