Typed Contracts for Functional Programming

Typed Contracts for Functional Programming

Bibliografische gegevens
Hoofdauteurs: Hinze, R, Jeuring, J, Löh, A
Formaat: Conference item
Gepubliceerd in: Springer Berlin / Heidelberg 2006

Gelijkaardige items