Recent Changes - Search:

FP


The Chalmers FP wiki is part of the CSE dept. wiki.

Recent Changes


edit SideBar

FP /

QuickCheckingStandardLibraries

QuickChecking Standard Libraries

Build a tool/framework for QuickChecking Haskells standard libraries (as implemente din for example GHC) against a specification (for example according to the Haskell98 report).

Background: Intro.FP, Datastructures; (preferably) AFP, Program Verification. Number of people: 1 or 2. Contact person: Koen

Edit - History - Print - Recent Changes - Search
Page last modified on November 24, 2008, at 09:03 AM