A Size-Aware Type System with Algebraic Data Types
Publication year
2008Publisher
onbekend : Institute for Computing and Information Sciences
Series
Technical Report ; ICIS-R08006
Number of pages
34 p. p.
Publication type
External research report

Display more detailsDisplay less details
Organization
Digital Security
Security of Systems
Former Organization
Biophysics
Subject
Technical Report; Digital SecurityThis item appears in the following Collection(s)
- Academic publications [204107]
- Electronic publications [102394]
- Faculty of Science [32154]
- Open Access publications [71034]
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.