ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
Two applications of analytic functors
Theoretical Computer Science - Special issue on theories of types and proofs
Shapely Types and Shape Polymorphism
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
Generic Programming within Dependently Typed Programming
Proceedings of the IFIP TC2/WG2.1 Working Conference on Generic Programming
Journal of Functional Programming
Interfaces as functors, programs as coalgebras: a final coalgebra theorem in intensional type theory
Theoretical Computer Science
Containers: constructing strictly positive types
Theoretical Computer Science - Applied semantics: Selected topics
Bidirectionalization for free! (Pearl)
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Meeting a fanclub: a lattice of generic shape selectors
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Generic programming with dependent types
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Proving properties about lists using containers
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Species and functors and types, oh my!
Proceedings of the third ACM Haskell symposium on Haskell
Monad transformers as monoid transformers
Theoretical Computer Science
Formal polytypic programs and proofs
Journal of Functional Programming
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interfaces as games, programs as strategies
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Exploring the regular tree types
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Coordinating computation with communication
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Testing polymorphic properties
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Proving properties about functions on lists involving element tests
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Events, causality and symmetry
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Discrete generalised polynomial functors
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Constructing applicative functors
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Three complementary approaches to bidirectional programming
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
∂ for Data: Differentiating Data Structures
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2003, Selected Papers
Data Types with Symmetries and Polynomial Functors over Groupoids
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers have good closure properties under a variety of constructions including the formation of initial algebras and final coalgebras. We also show that containers include strictly positive types and shapely types but that there are containers which do not correspond to either of these. Further, we derive a representation result classifying the nature of polymorphic functions between containers. We finish this paper with an application to the theory of shapely types and refer to a forthcoming paper which applies this theory to differentiable types.