Typed Contracts for Functional Programming

Typed Contracts for Functional Programming

מידע ביבליוגרפי
Main Authors: Hinze, R, Jeuring, J, Löh, A
פורמט: Conference item
יצא לאור: Springer Berlin / Heidelberg 2006

פריטים דומים