Uroboro

The goal of this project is to define a simple but expressive language with symmetric support for programming with data types and programming with codata types.

Collaborators

Tobias Weber

Publications

Decomposition Diversity with Symmetric Data and Codata

by Klaus Ostermann, Julian Jabs, David Binder, and Ingo Skupin

In Proceedings of Symposium on Principles of Programming Languages (POPL 2020), 2020.

Learn More

Dualizing Generalized Algebraic Data Types by Matrix Transposition

by Klaus Ostermann and Julian Jabs

In Proceedings of the European Symposium on Programming (ESOP). Lecture Notes in Computer Science, 2018.

Learn More

Automatic Refunctionalization to a Language with Copattern Matching: With Applications to the Expression Problem

by Tillmann Rendel, Julia Trieflinger, and Klaus Ostermann

In Proceedings of International Conference on Functional Programming, pages 269–279. ACM, 2015.

Learn More

News

December 18, 2019

Presentation at the Symposium on Principles of Programming Languages 2020

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

September 1, 2015

Presentation at ICFP conference

Tillmann Rendel
Tillmann Rendel presents the paper Automatic Refunctionalization to a Language with Copattern Matching at the International Conference on Functional Programming in Vancouver, British Columbia. The paper is joint work with Julia Trieflinger
Julia Trieflinger and Klaus Ostermann
ProfessorKlaus Ostermann.

August 30, 2015

Presentation at Workshop on Generic Programming

Tillmann Rendel
Tillmann Rendel presents an invited talk at the Workshop on Generic Programming (WGP) in Vancouver, British Columbia. The talk is based on work with Jonathan Brachthäuser
ProfessorJonathan Brachthäuser, Julia Trieflinger
Julia Trieflinger, Paolo Giarrusso
Paolo Giarrusso, and Klaus Ostermann
ProfessorKlaus Ostermann.

May 1, 2015

Paper accepted at ICFP

Our paper on automatic refunctionalization for a language with copattern matching has been accepted for presentation at the International Conference on Functional Programming.

March 16, 2015 2pm

BSc. Defense by Tobias Weber and Mini-Workshop on Uroboro

Tobias Weber from the University of Marburg visits Tübingen to defend his BSc. thesis entitled “An Implementation of a Language with Pattern and Copattern Matching”. On the occasion of his visit, we organize a little workshop about application of the language “Uroboro” that Tobias implemented.