Conference Paper/Proceeding/Abstract 980 views 198 downloads
Fibred Data Types
Neil Ghani,
Lorenzo Malatesta,
Fredrik Nordvall Forsberg,
Anton Setzer 
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on, Pages: 243 - 252
Swansea University Author:
Anton Setzer
-
PDF | Accepted Manuscript
Download (326.91KB)
DOI (Published version): 10.1109/LICS.2013.30
Abstract
Fibred Data Types
| Published in: | Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on |
|---|---|
| Published: |
New Orleans
IEEE
2013
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa14488 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Keywords: |
data structures;indexing;set theory;axiomatic model;cardinals;categorical reformulation;data structures;fibred data types;indexing;induction recursion;inductive recursive definition;set theory;Algebra;Computer languages;Containers;Decoding;Indexing;Semantics;data types;fibrations;initial algebras |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
243 |
| End Page: |
252 |