A higher-order size system for a higher-order functional language

Fulltext present in this item

Format: PDF

Description: preprint version

Title:	A higher-order size system for a higher-order functional language
Author(s):	Gobi, A.; Shkaravska, O. ; Eekelen, M.C.J.D. van
Publication year:	2012
Publisher:	Nijmegen : ICIS, Radboud University Nijmegen
Series:	Technical Report ; ICIS-R12005
Publication type:	External research report
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/103399
Display more details
Title alternative:	Size Calculus for a Higher-Order Functional Language
Subject:	Digital Security
Organization:	Digital Security Security of Systems

Faculty of Science [26130]
Open Access publications [48826]
Freely accessible full text publications
Electronic publications [76223]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [167380]
Academic output Radboud University