oplss-2025

Projects for learning and reviewing OPLSS 2025 seminars. Feel free to make a PR for more project ideas.

OPLSS 2025 Topics - this contains lecture notes and slides.

OPLSS 2025 Schedule - Summer school schedule. The chronological order helps with building context.

Topics (ordered by schedule)

Each of these are directories with materials, project ideas, etc. Feel free to make a PR to add to this.

Intro. to Logical Foundations

Lambda-Calculi for Logics

Information Flow Type Systems

Intro. to Type Theories

Metaprogramming

Lambda Calculi through the Lens of Linear Logic

Intro. to Category Theory

Algebraic Effects and Handlers

Abstract Interpretation-Based Static Analysis

Environment Setup Recommendations

WIP - someone please share nixos configs!

OPLSS Implementations

If you have started implementing anything related to the school, make a PR to share your repository on this README.