Typed Contracts for Functional Programming

Typed Contracts for Functional Programming

Xehetasun bibliografikoak
Egile Nagusiak: Hinze, R, Jeuring, J, Löh, A
Formatua: Conference item
Argitaratua: Springer Berlin / Heidelberg 2006
Deskribapena
Gaia:

Antzeko izenburuak