Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

The public archive for recorded scholarship—unabridged university courses, departmental colloquia, and structured study syllabi.

Archive

All Lectures
University Courses
Standalone Talks
Guided Study Paths
Institutions
Scholars & Speakers

Disciplines

Systems & CS
Engineering & Control
Theory & Algorithms
Biology & Neuro
AI & Machine Learning
Economics & Finance
Mathematics
Philosophy & Ethics
Physics & Cosmology
History & Humanities

Workspace

Saved Library
Study Notebook
About & Mission
Support & Errata
RSS Feed
Sitemap

© 2026 Lectern·Independent Academic Archive·Made in NYC

Press ⌘K to search · ? for shortcuts

Academic Discipline

Systems & CS

Distributed systems, databases, operating systems, compilers, programming languages, networking, and computer architecture.

15courses·223standalone talks·432total lectures

Subfields

All Systems & CS432 Programming Languages109 Database Systems85 Operating Systems75 Distributed Systems73 Software Design & HCI72 Computer Architecture53 Algorithms & Data Structures44 Systems Security44 Malleable Computing & Dynamic Media18 Computer Networks & Cloud14 Probability & Information Theory6 Computer Vision & Graphics3

Software Design & HCI— Software architecture, data abstraction, human-computer interaction, and programming media.

7 topics

All Software Design & HCI Software Architecture & Abstraction32 Human-Computer Interaction (HCI)18 Software Engineering28 Object-Oriented Programming6 Domain-Driven Design2 Python Programming2 Refactoring2

jknavigate↵watchcchaptersssavexwatched

Save

Procedures and Processes: The Substitution Model, Recursion & Iteration

Procedures and Processes: The Substitution Model, Recursion & Iteration

Structure and Interpretation of Computer Programs (SICP) · Lec 2·Software Architecture & Abstraction · Hal Abelson & Gerald Jay Sussman · MIT

Hal Abelson&Gerald Jay Sussman

—

58:22

More categories

Mathematics (428)Physics & Cosmology (404)AI & Machine Learning (213)History & Humanities (376)Philosophy & Ethics (264)Biology & Neuroscience (281)Economics & Finance (336)Algorithms & Theory (339)Engineering & Robotics (209)

Substitution Model · Software Design & HCI

1