Proof Support for General Type Classes

Find Full text
Thumbnail
Fulltext:
107665.pdf
Size:
175.8Kb
Format:
PDF
Description:
author's version
Download
Publication year
2006
Author(s)
Kesteren, R. van
Eekelen, M.C.J.D. van
Mol, M.J. de
Publisher
S.l. : Intellect
Series
Trends in Functional Programming ; 5
ISBN
9781841509563
In
Loidl, H.W. (ed.), Trends in Functional Programming Volume 5, pp. 1-16
DOI
Publication type
Part of book or chapter of book
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/107665   https://hdl.handle.net/2066/107665
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.