Static Inference of Non-Monotonic Polynomial Sized Types

Find Full text
Thumbnail
Fulltext:
36492.pdf
Embargo:
until further notice
Size:
5.902Mb
Format:
PDF
Description:
publisher's version
Publication year
2007
Author(s)
Eekelen, M.C.J.D. van
Shkaravska, O.
Publisher
Canterbury, UK : Technical Report 12-07, September 2007, Published by the Computing Laboratory, University of Kent, Canterbury, UK
In
Chitil, Olaf (ed.), Proceedings of the 19th Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, Sept. 27-29 2007, pp. 254-258
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/36492   https://hdl.handle.net/2066/36492
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.