Ingo Skupin, M. Sc.

Photo of Ingo Skupin

Ingo Skupin
Universität Tübingen
WSI - Programmiersprachen
Sand 13
72076 Tübingen
Germany

Telephone: +49 - (0) 70 71 - 29 - 70 516
Telefax: +49 - (0) 70 71 - 29 - 50 82
E-Mail: skupin(at)cs.uni-tuebingen.de
Office: B211
Office hours: by appointment

Finished Thesis Topics

August 10

Algebraic Subtyping for Ouroboro

Algebraic subtyping is a new approach which unifies parametric polymorphism, subtyping and complete type inference with principal types. The presentations used in the literature illustrate the approach by considering systems with function types, record types and base types, since these form a minimal type theory which allows to illustrate contravariance (function types) and subtyping (record types).

News

December 18

Presentation at the Symposium on Principles of Programming Languages 2020

Ingo Skupin
ResearcherIngo Skupin presents the paper Decomposition Diversity with Symmetric Data and Codata at the Symposium on Principles of Programming Languages in New Orleans (USA).