| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | onbekend |
| Publisher | UU WINFI Informatica en Informatiekunde |
| Volume | 2006-026 |
| Edition | UU-CS |
| Publication status | Published - 2006 |
Typed Contracts for Functional Programming
- R. Hinze
- , J.T. Jeuring
- , A. Löh
Research output: Book/Report › Report › Academic