Typed contracts for functional programming (2006)

by Ralf Hinze , Johan Jeuring , Andres Löh
Venue:In FLOPS ’06: Functional and Logic Programming: 8th International Symposium
Citations:22 - 0 self