Summary

Table of Contents

1 Models of computations; substition model

NamesAbstractionSubstitution.hs VM.hs Fun.hs

2 Goto ↔ Loops, Inlining procedures, Procedures → Gotos, Pointers and passing by reference

InsertionSort LoopsToGoto

Pointers ByRef ByValue

3 Recursion. Substitution model in the presence of recursion, Explicit stack

fact factTail hanoi

4 Inheritance, Interfaces

Date DateRec Animals AnimalsRec

5 Algebraic Types (Pattern matching, Parametric types, Currification)

AlgebraicTypes.hs AlgebraicTypes.java

6 HO Abstraction, Polymorphic functions, Closures

Fold.hs HOT.hs HOTExplicitClosure.hs ExplicitClosure.hs ExplicitClosure.java

6.1 ✪ TODO ExplicitClosure.cpp

7 Purity; Continuations and effects

ContinuationsStack.hs ContinueAccum.hs ContinueState.hs Roots.hs Lazy.hs

8 Resource-managing processes

Process.hs ConcurrentIORef.hs CSPVariable.hs RPCServer.hs

9 Concurency to continuatinos

Server.hs ServerWithContinuations.hs RuntimeSystem.hs

10 Intro to Logic Prog.; Unification

Family.curry Map.curry Unify.hs

11 Functions to Relations, Search as list of successes

Lists.curry

Author: Jean-Philippe Bernardy

Created: 2016-03-03 tor 07:42

Emacs 24.5.2 (Org mode 8.2.10)

Validate