'Bubblesort 2 xs true' presentation slideshows

Static Contract Checking for Haskell

Static Contract Checking for Haskell. Dana N. Xu INRIA France Work done at University of Cambridge Joint work with. Simon Peyton Jones Microsoft Research Cambridge. Koen Claessen Chalmers University of Technology. Module UserPgm where f :: [Int] -> Int f xs = head xs `max` 0 :

665 views • 54 slides

Static Contract Checking for Haskell

641 views • 54 slides