Typed Contracts for Functional Programming

Бібліографічні деталі
Автори: Hinze, R, Jeuring, J, Löh, A
Формат: Conference item
Опубліковано: Springer Berlin / Heidelberg 2006