Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

Logo Size, Centerline & Padding TunerGuides

Height15.5px

Width Scale100%

Centerline Y-0.5px

Offset X0px

Pad Left0px

Pad Right0px

Pad Top0px

Pad Bottom0px

Tracking+0.5

Weight Stroke0px

.tv Gap X0

.tv Opacity55%

Full university courses, lectures, and study paths—free of ads and clutter.

Archive

All Lectures
University Courses
Standalone Talks
Guided Study Paths
Institutions
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
Help & Feedback
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·238standalone talks·447total lectures

Subfields

All Systems & CS447 Programming Languages121 Database Systems85 Operating Systems75 Software Design & HCI75 Distributed Systems74 Computer Architecture55 Algorithms & Data Structures45 Systems Security44 Malleable Computing & Dynamic Media18 Computer Networks & Cloud14 Probability & Information Theory6 Computer Vision & Graphics3

Programming Languages— Compilers, type systems, functional programming, runtime memory management, and language semantics.

12 topics

All Programming Languages Functional Programming40 Compilers & Code Generation25 Lisp, Macros & Symbolic Abstraction25 Garbage Collection & Runtimes20 Type Systems & Inference7 Erlang3 Googlevideo3 Interpreters3 Julia Language3 Julia Programming Language3 Numerical Analysis3 Programming Language Theory3

jknavigate↵watchcchaptersssavexwatched

Save

Logic Programming, Part 2 (SICP Lecture 8b)

Logic Programming, Part 2 (SICP Lecture 8b)

Systems & CS·Standalone Lecture·Software Design & HCI · Hal Abelson & Gerald Jay Sussman · MIT

Hal Abelson&Gerald Jay Sussman

—

1:08:45

More categories

Mathematics (434)Physics & Cosmology (414)AI & Machine Learning (215)History & Humanities (377)Philosophy & Ethics (265)Biology & Neuroscience (281)Economics & Finance (336)Algorithms & Theory (340)Engineering & Robotics (213)

Declarative Programming · Programming Languages

1