FM14 -- Declarative programming

 
Number of courses selected: 18  

Ref	Y/S	Module	Institution	Contact	Topics/Langs/Tools
dSprog Sem		Programming Languages and Formal Semantics	Aarhus	P.D. Mosses	FP , FS , Prolog , SML
	3	Theory of Computation	Beira-Interior	S.M. Sousa	Coq , DMat , FP , LamC , Ocaml
	MSc	Formal Methods	Beira-Interior	S.M. Sousa	B , Coq , DMat , HL , Ocaml , WHY
SS03		Specification and synthesis of Haskell programs	Bremen	T. Mossakowski	AoP , FP , Haskell
		Software Engineering II	Cambridge	L.C. Paulson	ARef , SML , Z
4ICT8		System Modelling and Specification	Dublin	A. Hughes	Haskell , IVDM , IVDMH , MPC
		Functional Programming and Specification	Edinburgh	D. Sannella	SML , xML
CO515	BSc 2	Theory of Computer Science	Kent	J. Derrick	FOL , FP , FPT , Z
		Programmation fonctionnelle et preuves	Lyon	Y. Bertot	Coq , FP , LamC , Ocaml , TT
MP-I	2	Programming Methodology I	Minho	J.N. Oliveira	AoP , FP , GHC , Haskell , Hugs
		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
LC		Lambda Calculus	Oxford	A. Ker	FP , LamC
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
		Paradigmi di Programmazione	Roma	P. Cenciarelli	FPT , FS , HL , LamC , PolyT , SML , 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