Output details
11 - Computer Science and Informatics
Heriot-Watt University
Output title
Expansion for Universal Quantifiers
Type
E - Conference contribution
Name of conference/published proceedings
Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012
Volume number
7211
Issue number
-
First page of article
456
ISSN of proceedings
0302-9743
Year of publication
2012
URL
-
Number of additional authors
1
Additional information
<11>This paper appears in a selective world-recognised conference (with 30% acceptance rate in 2012). It takes expansion, a technique developed over the course of 30 years, into the context of “intersection” types, and shows how it can be used with the “for all”-quantified types more commonly used in programming language implementations.
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Rigorous Systems
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
