Document Versions

Type Reconstruction for Type Classes –Tobias Nipkow, Christian Prehofer — 1995
Type Reconstruction for Type Classes –Tobias Nipkow, Christian Prehofer, Tu Munchen — 1993