Typed Contracts for Functional Programming

DSpace/Manakin Repository

Typed Contracts for Functional Programming
 
Hinze, R.; Jeuring, J.T.; Löh, A.
(2006) Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, pp. 208 - 225
(Part of book)
Download/Full Text
Open Access version via Utrecht University Repository Unknown
 
Publisher: Springer
Note: jj14
(Peer reviewed)
 
 
See more statistics about this item