Professor of Software Engineering and Programming Languages at University of Tübingen, working on effect systems, control flow, and more.
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.