| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| dSprog Sem | Programming Languages and Formal Semantics | Aarhus | P.D. Mosses | FP , FS , Prolog , SML | |
| Software Engineering II | Cambridge | L.C. Paulson | ARef , SML , Z | ||
| Functional Programming and Specification | Edinburgh | D. Sannella | SML , xML | ||
| Specification and Verification | T.U. München | T. Nipkow | ATP , FOL , FPT , HOL , Isabelle , SML | ||
| 2 | Models and Algorithms | Nancy | D. Méry | FP , FPT , SML | |
| Paradigmi di Programmazione | Roma | P. Cenciarelli | FPT , FS , HL , LamC , PolyT , SML , TT | ||
| 3/4 | Functional programming in Standard ML | Warsaw | A. Tarlecki | FOL , FP , FPT , FS , Haskell , LamC , SML |