Higher-Order Strictness Typing

Thumbnail Image

Files

Primary 117031.pdf (265.4 KB)

Date

2013

Authors

Smetsers, J.E.W. Sjaak
Eekelen, M.C.J.D. Marko

Journal Title

Journal ISSN

Volume Title

Publisher

Berlin : Springer

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Lecture notes in computer science

Citation

URI

https://hdl.handle.net/2066/117031

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By