A Size-Aware Type System with Algebraic Data Types

Fulltext present in this item

Fulltext: 72731.pdf

Format: PDF

Description: publisher's version

Title:	A Size-Aware Type System with Algebraic Data Types
Author(s):	Tamalet, A.N. ; Shkaravska, O. ; Eekelen, M.C.J.D. van
Publication year:	2008
Publisher:	onbekend : Institute for Computing and Information Sciences
Number of Pages:	34 p. p.
Series:	Technical Report ; ICIS-R08006
Publication type:	External research report
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/72731
Display more details
Subject:	Digital Security
Organization:	Digital Security Security of Systems
Former Organization:	Biophysics

Faculty of Science [25938]
Open Access publications [48094]
Freely accessible full text publications
Electronic publications [75096]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [166224]
Academic output Radboud University