Dependent Data Structures

This chapter contains sections titled: 9.1 More Length-Indexed Lists, 9.2 Heterogeneous Lists, 9.3 Recursive Type Definitions, 9.4 Data Structures as Index Functions, 9.5 Choosing between Representations

Saved in:
Bibliographic Details
Published inCertified Programming with Dependent Types
Main Author Chlipala, Adam
Format Book Chapter
LanguageEnglish
Published MIT Press 2013
The MIT Press
Subjects
Computer Science
Programming Languages
Online AccessGet full text

Cover

More Information
Summary:This chapter contains sections titled: 9.1 More Length-Indexed Lists, 9.2 Heterogeneous Lists, 9.3 Recursive Type Definitions, 9.4 Data Structures as Index Functions, 9.5 Choosing between Representations
DOI:10.7551/mitpress/9153.003.0012