Typed Contracts for Functional Programming
| Κύριοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Conference item |
| Έκδοση: |
Springer Berlin / Heidelberg
2006
|
| _version_ | 1826266490694795264 |
|---|---|
| author | Hinze, R Jeuring, J Löh, A |
| author_facet | Hinze, R Jeuring, J Löh, A |
| author_sort | Hinze, R |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T20:39:45Z |
| format | Conference item |
| id | oxford-uuid:33df35a2-9dd1-4fe0-b983-5a8fb6f5d4b7 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:39:45Z |
| publishDate | 2006 |
| publisher | Springer Berlin / Heidelberg |
| record_format | dspace |
| spelling | oxford-uuid:33df35a2-9dd1-4fe0-b983-5a8fb6f5d4b72022-03-26T13:22:37ZTyped Contracts for Functional ProgrammingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:33df35a2-9dd1-4fe0-b983-5a8fb6f5d4b7Department of Computer ScienceSpringer Berlin / Heidelberg2006Hinze, RJeuring, JLöh, A |
| spellingShingle | Hinze, R Jeuring, J Löh, A Typed Contracts for Functional Programming |
| title | Typed Contracts for Functional Programming |
| title_full | Typed Contracts for Functional Programming |
| title_fullStr | Typed Contracts for Functional Programming |
| title_full_unstemmed | Typed Contracts for Functional Programming |
| title_short | Typed Contracts for Functional Programming |
| title_sort | typed contracts for functional programming |
| work_keys_str_mv | AT hinzer typedcontractsforfunctionalprogramming AT jeuringj typedcontractsforfunctionalprogramming AT loha typedcontractsforfunctionalprogramming |