Typed Contracts for Functional Programming

Typed Contracts for Functional Programming

Detalles Bibliográficos
Autores principales: Hinze, R, Jeuring, J, Löh, A
Formato: Conference item
Publicado: Springer Berlin / Heidelberg 2006
Descripción
Sumario:

Ejemplares similares