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.
Ingo Skupin AlumniIngo Skupin presents the paper Decomposition Diversity with Symmetric Data and Codata at the Symposium on Principles of Programming Languages in New Orleans (USA).
Our paper on automatic refunctionalization for a language with
copattern matching has been accepted for presentation at the
International Conference on Functional Programming.
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.
Implement an editor for Uroboro that supports some features of an
integrated development environment. In particular, we want to
support experimentation with various refactorings based on
program transformations that we are developing as part of the
Uroboro project.
Implement a set of program transformations between programs in
(subsets or all of) the language Uroboro that has recently been
proposed by the working group of programming languages and
software technology.
