@article{aufsatz28941,
affiliation = {Grundlagen der Programmierung},
title = {A Family of Syntactic Logical Relations for the Semantics of Haskell-like Languages},
journal = {Information and Computation},
keywords = {Haskell-like Languages},
pages = {341--368},
year = {2009},
peerreview = {Ja},
openaccess = {Ja},
volume = {207(2)},
doi = {http://dx.doi.org/10.1016/j.ic.2007.11.009},
edition = {keiner},
author = {Johann, Patricia and Voigtländer, Janis}
}