Searching for "Static contract checking for Haskell." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Static Contract Checking for Haskell
by Dana N. Xu, Simon Peyton Jones, Koen Claessen
…Static Contract Checking for Haskell Dana N. Xu 1 and Simon Peyton Jones 2 and Koen Claessen 3 1…
Cited by 1 (0 self) – Add To MetaCart

Number 737 Computer Laboratory Static contract checking for Haskell
by Na Xu — 2008
… . . . . . . . . . . . . . . . . . . . . . . 22 1.3.2 Static Contract Checking vs Dynamic Contract Checking . . . . . . 25 2 Overview of Static…
Add To MetaCart

unknown title
by Simon Peyton Jones
… Static Contract Checking for Haskell Dana N. Xu University of Cambridge nx200@(email omitted); Simon…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB