Fibred Data Types

Abstract

Data types are undergoing a major leap forward in their sophistication driven by a conjunction of i) theoretical advances in the foundations of data types, and ii) requirements of programmers for ever more control of the data structures they work with. In this paper we develop a theory of indexed data types where, crucially, the indices are generated… (More)
DOI: 10.1109/LICS.2013.30

Topics

Cite this paper

@article{Ghani2013FibredDT, title={Fibred Data Types}, author={Neil Ghani and Lorenzo Malatesta and Fredrik Nordvall Forsberg and Anton Setzer}, journal={2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science}, year={2013}, pages={243-252} }