Derivation and Inference of Higher-Order Strictness Types

Fulltext present in this item

Format: PDF

Description: author's version

Title:	Derivation and Inference of Higher-Order Strictness Types
Author(s):	Smetsers, S. ; Eekelen, M.C.J.D. van
Publication year:	2015
Source:	Computer Languages, Systems & Structures, vol. 44, iss. Part B, (2015), pp. 166-180
ISSN:	1477-8424
DOI:	https://doi.org/10.1016/j.cl.2015.07.004
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/149047
Display more details
Subject:	Digital Security
Organization:	Security of Systems Software Science Digital Security
Journal title:	Computer Languages, Systems & Structures
Volume:	vol. 44
Issue:	iss. Part B
Page start:	p. 166
Page end:	p. 180

Faculty of Science [26563]
Open Access publications [49653]
Freely accessible full text publications
Electronic publications [77444]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [169347]
Academic output Radboud University