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

Summary

<<< Previous	Home	Next >>>
Interaction with the C Programming Language	Up	Dependent Types for Programming