Typed Contracts for Functional Programming

Typed Contracts for Functional Programming

Detalhes bibliográficos
Principais autores: Hinze, R, Jeuring, J, Löh, A
Formato: Conference item
Publicado em: Springer Berlin / Heidelberg 2006

Registros relacionados