Typed Contracts for Functional Programming

Bibliographic Details
Main Authors: Hinze, R, Jeuring, J, Löh, A
Format: Conference item
Published: Springer Berlin / Heidelberg 2006