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

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

12 topics

All Programming Languages Functional Programming36 Compilers & Code Generation25 Garbage Collection & Runtimes20 Lisp, Macros & Symbolic Abstraction13 Type Systems & Inference7 Erlang3 Julia Language3 Julia Programming Language3 Numerical Analysis3 Programming Language Theory3 Python3 Computational Biology2

jknavigate↵watchcchaptersssavexwatched

Save

A Call-by-push-value Scheme

A Call-by-push-value Scheme

Systems & CS·Conference Talk·Formal Methods & Type Theory · Max S. New · University of Michigan

UMUniversity of Michigan

—

29:11

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)

Scheme · Programming Languages

1