Frank Rosemeier (PhD)

Frank Rosemeier
  • Address:
    FernUniversität in Hagen
    Department of Computer Science
    Informatikzentrum
    D-58084 Hagen
  • Telephone: ++49/2331/987-2713
  • E-mail to Frank Rosemeier

The proof assistant Yarrow has been adapted to Haskell 98.