Typed Contracts for Functional Programming

Typed Contracts for Functional Programming

Bibliográfalaš dieđut
Váldodahkkit: Hinze, R, Jeuring, J, Löh, A
Materiálatiipa: Conference item
Almmustuhtton: Springer Berlin / Heidelberg 2006
Govvádus
Čoahkkáigeassu:

Geahča maid