[Haskell] formal verification for functional programming languages

Fritz Ruehr fruehr at willamette.edu
Mon Nov 14 16:51:53 EST 2005

Anyone interested in program verification issues in a Haskell context  
should check out the Programatica project:


(I'm not sure how recent changes at OGI/PacSoft may have affected the  
on-going status of this project, but there is a lot there already and  
the principals are still active, if a bit shuffled around.)

   --  Fritz

More information about the Haskell mailing list