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