next up previous contents
Next: Standard ML Up: Survey of Courses per Previous: B-Method   Contents

Haskell

 
Number of courses selected: 7  
Ref Y/S Module Institution Contact Topics/Langs/Tools
SS03 Specification and synthesis of Haskell programs Bremen T. Mossakowski AoP , FP , Haskell
4ICT8 System Modelling and Specification Dublin A. Hughes Haskell , IVDM , IVDMH , MPC
MP-I 2 Programming Methodology I Minho J.N. Oliveira AoP , FP , GHC , Haskell , Hugs
FPR M Functional Programming Oxford J. Gibbons FP , Gofer , Haskell , Hugs
TC 4 Theory of Computation Porto M. Florido DMat , FS , Haskell , LamC , Prolog , TT
CS L3 S2 Systems and Software Engineering London (S.B.) A. Abdallah CSP , Haskell , Z
3/4 Functional programming in Standard ML Warsaw A. Tarlecki FOL , FP , FPT , FS , Haskell , LamC , SML

next up previous contents
Next: Standard ML Up: Survey of Courses per Previous: B-Method   Contents
2004-11-04