Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists
Fulltext:
135045.pdf
Embargo:
until further notice
Size:
543.3Kb
Format:
PDF
Description:
Publisher’s version
Publication year
2014Publisher
Berlin : Springer International Publishing
Series
Lecture Notes in Computer Science ; 8552
ISBN
9783319124650
In
Lago, U. Dal; Peña, R. (ed.), Foundational and Practical Aspects of Resource Analysis, pp. 143-159Publication type
Part of book or chapter of book
Display more detailsDisplay less details
Editor(s)
Lago, U. Dal
Peña, R.
Organization
Digital Security
Security of Systems
Book title
Lago, U. Dal; Peña, R. (ed.), Foundational and Practical Aspects of Resource Analysis
Page start
p. 143
Page end
p. 159
Subject
Lecture Notes in Computer Science; Digital SecurityThis item appears in the following Collection(s)
- Academic publications [243110]
- Electronic publications [129842]
- Faculty of Science [36583]
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.