No Cover Image

Conference Paper/Proceeding/Abstract 314 views

Integrating Linear and Dependent Types

Neelakantan R. Krishnaswami, Cécilia Pradic Orcid Logo, 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 Orcid Logo

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1145/2676726.2676969

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
first_indexed 2025-01-30T16:02:04Z
last_indexed 2025-07-13T02:35:47Z
id cronfa58116
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2025-07-11T12:37:00.2732436</datestamp><bib-version>v2</bib-version><id>58116</id><entry>2021-09-27</entry><title>Integrating Linear and Dependent Types</title><swanseaauthors><author><sid>3b6e9ebd791c875dac266b3b0b358a58</sid><ORCID>0000-0002-1600-8846</ORCID><firstname>C&#xE9;cilia</firstname><surname>Pradic</surname><name>C&#xE9;cilia Pradic</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2021-09-27</date><deptcode>MACS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages</journal><volume/><journalNumber/><paginationStart>17</paginationStart><paginationEnd>30</paginationEnd><publisher>Association for Computing Machinery (ACM)</publisher><placeOfPublication>New York, NY, USA</placeOfPublication><isbnPrint/><isbnElectronic>978-1-4503-3300-9</isbnElectronic><issnPrint/><issnElectronic/><keywords>Linear types, dependent types, intersection types, proof irrelevance, separation logic, Hoare triples</keywords><publishedDay>14</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2015</publishedYear><publishedDate>2015-01-14</publishedDate><doi>10.1145/2676726.2676969</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm>Not Required</apcterm><funders/><projectreference/><lastEdited>2025-07-11T12:37:00.2732436</lastEdited><Created>2021-09-27T23:02:17.7106523</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Neelakantan R.</firstname><surname>Krishnaswami</surname><order>1</order></author><author><firstname>C&#xE9;cilia</firstname><surname>Pradic</surname><orcid>0000-0002-1600-8846</orcid><order>2</order></author><author><firstname>Nick</firstname><surname>Benton</surname><order>3</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2025-07-11T12:37:00.2732436 v2 58116 2021-09-27 Integrating Linear and Dependent Types 3b6e9ebd791c875dac266b3b0b358a58 0000-0002-1600-8846 Cécilia Pradic Cécilia Pradic true false 2021-09-27 MACS Conference Paper/Proceeding/Abstract POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 17 30 Association for Computing Machinery (ACM) New York, NY, USA 978-1-4503-3300-9 Linear types, dependent types, intersection types, proof irrelevance, separation logic, Hoare triples 14 1 2015 2015-01-14 10.1145/2676726.2676969 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University Not Required 2025-07-11T12:37:00.2732436 2021-09-27T23:02:17.7106523 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Neelakantan R. Krishnaswami 1 Cécilia Pradic 0000-0002-1600-8846 2 Nick Benton 3
title Integrating Linear and Dependent Types
spellingShingle Integrating Linear and Dependent Types
Cécilia Pradic
title_short Integrating Linear and Dependent Types
title_full Integrating Linear and Dependent Types
title_fullStr Integrating Linear and Dependent Types
title_full_unstemmed Integrating Linear and Dependent Types
title_sort Integrating Linear and Dependent Types
author_id_str_mv 3b6e9ebd791c875dac266b3b0b358a58
author_id_fullname_str_mv 3b6e9ebd791c875dac266b3b0b358a58_***_Cécilia Pradic
author Cécilia Pradic
author2 Neelakantan R. Krishnaswami
Cécilia Pradic
Nick Benton
format Conference Paper/Proceeding/Abstract
container_title POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
container_start_page 17
publishDate 2015
institution Swansea University
isbn 978-1-4503-3300-9
doi_str_mv 10.1145/2676726.2676969
publisher Association for Computing Machinery (ACM)
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
published_date 2015-01-14T16:34:33Z
_version_ 1850686805022605312
score 11.08899

Similar Items