Lecture overview -- Keyboard shortcut: 'u'  Previous page: Infinite evaluations and error evaluations - clarification -- Keyboard shortcut: 'p'  Next page: Rewrite rules -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide -- Keyboard shortcut: 't'  Help page about these notes  Alphabetic index  Course home  Lecture 4 - Page 8 : 27
Programming Paradigms
Evaluation Order and Infinite Lists
 

 

Rewrite rules, reduction, and normal forms