Typed Contracts for Functional Programming

Detaylı Bibliyografya
Asıl Yazarlar: Hinze, R, Jeuring, J, Löh, A
Materyal Türü: Conference item
Baskı/Yayın Bilgisi: Springer Berlin / Heidelberg 2006