Proof Support for General Type Classes

Find Full text
Thumbnail
Fulltext:
135252.pdf
Embargo:
until further notice
Size:
204.4Kb
Format:
PDF
Description:
Publisher’s version
Publication year
2004
Author(s)
Kesteren, R. van
Eekelen, M.C.J.D. van
Mol, M. de
Publisher
Portland : Intellect Publishers
ISBN
1841509566
In
Trends in Functional Programming, (2004)Loidl, Hans-Wolfg (ed.), Trends in Functional Programming : Selected papers from the Fifth International Symposium on Trends in Functional Programming, TFP04, pp. 1-16
Annotation
Fifth International Symposium on Trends in Functional Programming, TFP04, 25 november 2004
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/135252   https://hdl.handle.net/2066/135252
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.