A Second Look at OverloadingSee also Report (number TBA) below.
Martin Odersky, Philip Wadler and Martin Wehr.
presented at FPCA'95.
Type Inference with constrained TypesBack to the top of this page or my home page.
Martin Sulzmann, Martin Odersky, and Martin Wehr.
submited to POPL '97.
Proof of the Principal Type Property for System O
Martin Wehr and Martin Odersky.
Technical Report 1996-16 at University of Karlsruhe.
Quantum Computing: A new Paradigm and it's Type TheoryBack to the top of this page or my home page.
Martin Wehr
work in progress, talk held at the quantum computing seminar, Lehrstuhl Prof. Beth, Universität Karlsruhe . llniversität
Martin Wehr
Lehrstuhl Prof. Dr. Martin Odersky
Institut
für Programmstrukturen und Datenorganisation (IPD)
Universität Karlsruhe
Postfach 6980
76128 Karlsruhe
Germany
Email: wehr@ira.uka.de
Voice: +49 (721) 608 34 95
Fax: +49 (721) 69 40 92
Office: Am Fasanengarten 5, 3rd floor, Room 326