CSC3380: Lecture 9
Thursday, February 22
Deriving a Generic Algorithm
Readings
- Chapter 7 of Stepanov’s From Mathemetics to Generic Programming
- Chapter 1 of Stepanov’s Elements of Programming (careful - very hard read!)
- Iverson’s 1979 Turing Award Lecture ‘Notation as a Tool of Thought’
- Backus’ 1977 Turing Award Lecture ‘Can programming be liberated from the Von Neuman Style?’
- Kapur, Stepanov, and Musser: Operators and Algebraic Structures
Links
Code
Join our discord server to chat and discuss related topics.