Previous Work (Before 3 May, 2001)

• Translations to theorem provers

  • To HOL
  • To SVC
  • Simple, syntax directed translation
  • Works only for a small subset of Haskell, excluding overloading

Previous slide

Next slide

Back to first slide

View graphic version