Comprehensive parametric polymorphism : categorical models and type theory
- Submitting institution
-
University of Strathclyde
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 63760720
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-662-49630-5_1
- Title of conference / published proceedings
- International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2016]
- First page
- 3
- Volume
- -
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Out of scope for open access requirements
- Month of publication
- March
- Year of publication
- 2016
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 4
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Won the EATCS ETAPS Best Paper award 2016 (one of two out of 473
accepted papers), and was included in ACM Computing Reviews 21st Annual
Best of Computing Notable Books and Articles. Led to seminar invitations
at the LFCS seminar at the University of Edinburgh and the Logic and
Semantics Seminar at the University of Cambridge theory and category theory.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -