| 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 |