5 citations · 12 across the 4 of their papers we have counts for
5 papers
Describing Console I/O Behavior for Testing Student Submissions in Haskell
Oliver Westphal, Janis Voigtländer
We present a small, formal language for specifying the behavior of simple console I/O programs. The design is driven by the concrete application case of testing interactive Haskell…
Free Theorems Simply, via Dinaturality
Janis Voigtländer
Free theorems are a popular tool in reasoning about parametrically polymorphic code. They are also of instructive use in teaching. Their derivation, though, can be tedious, as it i…
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming
Sibylle Schwarz, Janis Voigtländer
The Workshops on (Constraint) Logic Programming (WLP) are the annual meeting of the German Society of Logic Programming (Gesellschaft für Logische Programmierung e.V., GLP) and bri…
A Generic Scheme and Properties of Bidirectional Transformations
Hugo Pacheco, Nuno Macedo, Alcino Cunha +1
The recent rise of interest in bidirectional transformations (BXs) has led to the development of many BX frameworks, originating in diverse computer science disciplines. From a use…
Improvements for Free
Daniel Seidel, Janis Voigtländer
"Theorems for Free!" (Wadler, FPCA 1989) is a slogan for a technique that allows to derive statements about functions just from their types. So far, the statements considered have…