Size Analysis of Higher-Order Functions
Publication year
2011Publisher
Madrid : Dept. Computer Systems and Computing Universidad Complutense de Madrid
In
Technical Report / Ruu-Cs, (2011)Pena, R.; Eekelen, M. Van (ed.), Proceedings of the 12th International Symposium on Trends in Functional Programming (TFP2011), pp. 77-91ISSN
Annotation
TFP 2011 : 12th International Symposium on Trends in Functional Programming (TFP2011). Madrid, Spain
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Pena, R.
Eekelen, M. Van
Organization
Digital Security
Security of Systems
Journal title
Technical Report / Ruu-Cs
Book title
Pena, R.; Eekelen, M. Van (ed.), Proceedings of the 12th International Symposium on Trends in Functional Programming (TFP2011)
Page start
p. 77
Page end
p. 91
Subject
Technical report; Digital SecurityThis item appears in the following Collection(s)
- Academic publications [244262]
- Electronic publications [131202]
- Faculty of Science [37138]
- Open Access publications [105225]
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.