Introduction to Programming in ATS:
<<< Previous		Next >>>

IV. Linear Types for Programming

Table of Contents
Introduction to Views and Viewtypes
Dataviews as Linear Dataprops
Dataviewtypes as Linear Datatypes
Abstract Views and Viewtypes
Summary

<<< Previous	Home	Next >>>
Summary		Introduction to Views and Viewtypes