APA (7th ed.) Citation

Emms, M., & Leiß, H. (1997). Extending the type checker of SML by polymorphic recursion: A correctness proof. CIS.

Chicago Style (17th ed.) Citation

Emms, Martin, and Hans Leiß. Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof. München: CIS, 1997.

MLA (9th ed.) Citation

Emms, Martin, and Hans Leiß. Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof. CIS, 1997.