Introduction to Programming in ATS:
Prev		Next

IV. Programming with Views and Viewtypes

Table of Contents
13. Introduction to Views and Viewtypes
14. Dataviews as Linear Dataprops
15. Dataviewtypes as Linear Datatypes
16. Abstract Views and Viewtypes

Prev	Home	Next
Example: Verified Fast Exponentiation		Introduction to Views and Viewtypes