|Designing Inductive Data|
Designing signatures for type predicates, constructors, extractors, and subtypes.
|Programming with Inductive data|
The objectives of this experiment are designing recursive procedures that operate on inductive types and define type and equality predicates on inductive types.
|A Language for Arithmetic Constructs|
A Language for Arithmetic Constructs
|Abstract Datatype for Lexical Environments|
Abstract Datatype for Lexical Environments
|A Language with Block Structure|
A Language with Block Structure