OpenAlex
Derivation and inference of higher-order strictness types
Work
Year: 2015
Type: article
Source: Computer Languages Systems & Structures
Authors Sjaak Smetsers, Marko van Eekelen
Institutions Radboud University Nijmegen, Open University of the Netherlands
Cites: 24
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: green