Rosemeier
>
English
[
zur deutschen Fassung
]
Frank Rosemeier (PhD)
Address:
FernUniversität in Hagen
Department of Computer Science
Informatikzentrum
D-58084 Hagen
Telephone: ++49/2331/987-2713
E-mail to Frank Rosemeier
Personal record
Publications
Presentation
The proof assistant
Yarrow
has been adapted to
Haskell 98
.
Related links:
Department of Computer Science
,
FernUniversity in Hagen
,
Virtual University
.