@conference{aufsatz28945,
affiliation = {Grundlagen der Programmierung},
title = {Free Theorems Involving Type Constructor Classes},
journal = {Proceedings, ACM Press},
keywords = {Type Constructor Classes},
year = {2009},
peerreview = {Ja},
edition = {keiner},
author = {Voigtländer, Janis}
}