Bounded linear types in a resource semiring
- Submitting institution
-
The University of Birmingham
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 24112505
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-642-54833-8_18
- Title of conference / published proceedings
- Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
- First page
- 331
- Volume
- 8410
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Out of scope for open access requirements
- Month of publication
- April
- Year of publication
- 2014
- 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
-
1
- Research group(s)
-
-
- Citation count
- 9
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This is the first type system automatically tracking the use of arbitrary resources in a program. We show that the type system is correct (sound, coherent) and give a mathematical (categorical) semantics. Published in a leading conference, it initiated a new fertile line of research. A special invitation-only international workshop dedicated to the paper was organised by Pagani and Tasson (Paris) in 2014. Ghica was an invited speaker at the 2014 Developments in Implicit Computational Complexity Workshop to present the results. The work had a significant influence on Dal Lago's work, recently awarded a major ERC grant in this area.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -