Next:
NuSMV
Up:
Survey of Courses per
Previous:
CWB
 
Contents
Hugs
Number of courses selected: 2
Ref
Y/S
Module
Institution
Contact
Topics/Langs/Tools
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
Next:
NuSMV
Up:
Survey of Courses per
Previous:
CWB
 
Contents
2004-11-04