Typed Contracts for Functional Programming

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Hinze, R, Jeuring, J, Löh, A
Ձևաչափ: Conference item
Հրապարակվել է: Springer Berlin / Heidelberg 2006