Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof (1997)

by Martin Emms , Hans Leiß