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
|