Typed Contracts for Functional Programming

Podrobná bibliografie
Hlavní autoři: Hinze, R, Jeuring, J, Löh, A
Médium: Conference item
Vydáno: Springer Berlin / Heidelberg 2006