@inproceedings{
    vrie08:UniquenessTypingSimplifiedIFL07_SelectedPapers,
    author    = {{Vries, de}, Edsko and Plasmeijer, Rinus and Abrahamson, {David M.}},
    title     = {{U}niqueness {T}yping {S}implified},
    booktitle = {{P}roceedings {I}mplementation and {A}pplication of {F}unctional {L}anguages, 19th {I}nternational {S}ymposium, {IFL 2007}, {S}elected {P}apers},
    editor    = {Chitil, Olaf},
    address   = {{F}reiburg, {G}ermany},
    year      = {2007},
    month     = {September 27-29},
    publisher = {Springer},
    series    = {LNCS}
}