Edsko de Vries Rinus Plasmeijer David M. Abrahamson Uniqueness Typing Simplified. 201-218 2007 IFL http://dx.doi.org/10.1007/978-3-540-85373-2_12 conf/ifl/2007 db/conf/ifl/ifl2007.html#VriesPA07