Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras.

Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger

Browse the full CALCO paper archive.