Programming Languages

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

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).

Read more …

News

Presentation at the Symposium on Principles of Programming Languages 2020

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

Read more …