type theory types

Type Checking: Subtyping

What can be assigned to a variable of type A?

15-451 algorithms

V. Universal and Perfect Hashing

Minimizing hash collisions

15-451 algorithms data structures

IV. Splay Trees

Self-balancing binary tree with persistent access memory

brain teaser

Last Coin

Brain teaser that makes for a neat party trick

15-451 algorithms

III. Amortized Analysis

Tightening algorithmic time bounds based on execution sequences