Principles of Programming Languages

Principles of Programming Languages

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.
Higher-order Functions
Higher-order Functions
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
Copyright @ 2017 Under the NME ICT initiative of MHRD (Licensing Terms)
 Powered by AmritaVirtual Lab Collaborative Platform [ Ver 00.12. ]