Concepts, Techniques and Models of Computing

 

Introduction	Notes c_const_test.c
Declarative Model	Outline
Exceptions	Exceptions
Unification	Unification
Declarative Programming Techniques- Tail Recursion, Follow. the grammar	declarative- programming
Declarative Concurrency - Introduction, Semantics	declarative-concurrency Thread.oz
Declarative Concurrency-Threads
Erlang - Sequential Programming, Concurrent Programming	erlang
Erlang - Concurrent Programming (contd.)
Object-Oriented Programming	oop Java 1.4 Polymorphism
Type Inference	tinf