tapl Tasklist I. Untyped Systems Untyped Arithmetic Expressions Untyped Lambda-Calculus II. Simple Types Simply Typed Lambda-Calculus III. Subtyping IV. Recurisve Types V. Polymorphism VI. Higher-Order Systems
