Conference Paper/Proceeding/Abstract 314 views
Integrating Linear and Dependent Types
Neelakantan R. Krishnaswami,
Cécilia Pradic 
,
Nick Benton
,
Nick Benton
POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Pages: 17 - 30
Swansea University Author:
Cécilia Pradic
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1145/2676726.2676969
Abstract
Integrating Linear and Dependent Types
| Published in: | POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages |
|---|---|
| ISBN: | 978-1-4503-3300-9 |
| Published: |
New York, NY, USA
Association for Computing Machinery (ACM)
2015
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa58116 |
| Keywords: |
Linear types, dependent types, intersection types, proof irrelevance, separation logic, Hoare triples |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
17 |
| End Page: |
30 |