Inferring Static Non-monotone Size-aware Types Through Testing

Find Full text
Thumbnail
Fulltext:
72206.pdf
Size:
198.5Kb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
2008
Author(s)
Kesteren, Ron van
Shkaravska, O.
Eekelen, M.C.J.D. van
Publisher
Amsterdam : Elsevier
In
Electronic Notes in Theoretical Computer Science, (2008)Echahed, R. (ed.), Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), pp. 45-63
ISSN
Annotation
16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), Paris, France 25 june 2007, 25 juni 2007
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/72206   https://hdl.handle.net/2066/72206
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.