Free Theorems Involving . . .

Free Theorems Involving . . . (2009)

by Janis Voigtländer

User correction supplied by mph

Datum	Value	Source
TITLE	Free Theorems Involving . . .	user correction
AUTHOR NAME	Janis Voigtländer	user correction
AUTHOR AFFIL	Institut für Theoretische Informatik, Technische Universität Dresden	user correction
AUTHOR ADDR	01062 Dresden, Germany	user correction
ABSTRACT	Free theorems are a charm, allowing the derivation of useful statements about programs from their (polymorphic) types alone. We show how to reap such theorems not only from polymorphism over ordinary types, but also from polymorphism over type constructors restricted by class constraints. Our prime application area is that of monads, which form the probably most popular type constructor class of Haskell. To demonstrate the broader scope, we also deal with a transparent way of introducing difference lists into a program, endowed with a neat and general correctness proof.	user correction
YEAR	2009	user correction
CITATIONS	28 found	ParsCit 1.0