Type Checking and Weak Type Inference for Polynomial Size Analysis of First--Order Functions

Fulltext present in this item

Fulltext: 36644.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	Type Checking and Weak Type Inference for Polynomial Size Analysis of First--Order Functions
Author(s):	Shkaravska, O. ; Kesteren, R. van; Eekelen, M.C.J.D. van
Publication year:	2007
Publisher:	onbekend : Institute for Computing and Information Sciences
Number of Pages:	32 p.
Series:	Technical Report ; ICIS--R07004
Publication type:	External research report
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/36644
Display more details
Subject:	Security of Systems Software Technology
Organization:	Security of Systems Digital Security

Faculty of Science [25187]
Electronic publications [72136]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [162557]
Academic output Radboud University