Typed contracts for functional programming (2006)

by R Hinze, J Jeuring, A Löh
Venue:In FLOPS