term paper: system Fw typechecking with case and pair
10 years ago I wrote a paper about typechecking – or about an typechecker I wrote in Haskell – for simple types in a calculus called Fω “Typprüfung für System Fw mit CASE und PAIR (system Fw typechecking with case and pair)” (in german) for Ralph Matthes, an assistant at the chair for theoretical computer science.