Typed Contracts for Functional Programming

Chi tiết về thư mục
Những tác giả chính: Hinze, R, Jeuring, J, Löh, A
Định dạng: Conference item
Được phát hành: Springer Berlin / Heidelberg 2006