Typed Contracts for Functional Programming

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Hinze, R, Jeuring, J, Löh, A
Формат: Conference item
Хэвлэсэн: Springer Berlin / Heidelberg 2006