A.: Typed contracts for functional programming (2006)

by R Hinze, J Jeuring, Löh
Venue:Functional and Logic Programming