@conference{aufsatz28926,
    affiliation = {Grundlagen der Programmierung},
    title = {Parametricity for Haskell with Imprecise Error Semantics},
    journal = {Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications - TLCA'09},
    keywords = {Haskell},
    pages = {294--308},
    publisher = {Springer},
    location = {Brasilia, Brazil},
    year = {2009},
    peerreview = {Ja},
    openaccess = {Ja},
    volume = {volume 5608 of LNCS},
    doi = {http://wwwtcs.inf.tu-dresden.de/~voigt/tlca09.pdf},
    edition = {keiner},
    author = {Stenger, Florian and Voigtländer, Janis}
}