OPLSS

The Oregon Programming Languages Summer School is devoted to teaching the principles of programming languages to students and professionals. Although the topics vary from year to year, the unifying theme is the importance of fundamental theory to the design and implementation of programming languages, the development of program verification tools, and the application of advanced programming languages to practice. The summer school attracts participants from around the world, and is often able to subsidize the participation of qualified attendees with limited resources. More than a thousand participants have attended OPLSS since its inception in 2002. The summer school is sponsored by the National Science Foundation, and by generous grants from numerous companies over the years.

Session-Typed Concurrent Programming - Stephanie Balzer [4/4]

Session-Typed Concurrent Programming - Stephanie Balzer [4/4]
Writing session-typed programs in Rust with Ferrite - Ruofei Chen [2/2]

Writing session-typed programs in Rust with Ferrite - Ruofei Chen [2/2]
From Program Equivalences to Program Metrics - Ugo Dal Lago [4/4]

From Program Equivalences to Program Metrics - Ugo Dal Lago [4/4]
Writing session-typed programs in Rust with Ferrite - Ruofei Chen [1/2]

Writing session-typed programs in Rust with Ferrite - Ruofei Chen [1/2]
Kleene Algebras and Applications - Alexandra Silva [4/4]

Kleene Algebras and Applications - Alexandra Silva [4/4]
Session-Typed Concurrent Programming - Stephanie Balzer [3/4]

Session-Typed Concurrent Programming - Stephanie Balzer [3/4]
From Program Equivalences to Program Metrics - Ugo Dal Lago [3/4]

From Program Equivalences to Program Metrics - Ugo Dal Lago [3/4]
Kleene Algebras and Applications - Alexandra Silva [3/4]

Kleene Algebras and Applications - Alexandra Silva [3/4]
Session-Typed Concurrent Programming - Stephanie Balzer [2/4]

Session-Typed Concurrent Programming - Stephanie Balzer [2/4]
From Program Equivalences to Program Metrics - Ugo Dal Lago [2/4]

From Program Equivalences to Program Metrics - Ugo Dal Lago [2/4]
Reasoning about Probabilistic Programs - Justin Hsu [3/4]

Reasoning about Probabilistic Programs - Justin Hsu [3/4]
Monads and Interaction - Tarmo Uustalu [3/4]

Monads and Interaction - Tarmo Uustalu [3/4]
Kleene Algebras and Applications - Alexandra Silva [2/4]

Kleene Algebras and Applications - Alexandra Silva [2/4]
Session-Typed Concurrent Programming - Stephanie Balzer [1/4]

Session-Typed Concurrent Programming - Stephanie Balzer [1/4]
From Program Equivalences to Program Metrics - Ugo Dal Lago [1/4]

From Program Equivalences to Program Metrics - Ugo Dal Lago [1/4]
Kleene Algebras and Applications - Alexandra Silva [1/4]

Kleene Algebras and Applications - Alexandra Silva [1/4]
Reasoning about Probabilistic Programs - Justin Hsu [4/4]

Reasoning about Probabilistic Programs - Justin Hsu [4/4]
Monads and Interaction - Tarmo Uustalu [4/4]

Monads and Interaction - Tarmo Uustalu [4/4]
Information-flow Control Libraries - Alejandro Russo [3/4]

Information-flow Control Libraries - Alejandro Russo [3/4]
Information-flow Control Libraries - Alejandro Russo [4/4]

Information-flow Control Libraries - Alejandro Russo [4/4]
Reasoning about Probabilistic Programs - Justin Hsu [2/4]

Reasoning about Probabilistic Programs - Justin Hsu [2/4]
Types for Program Modules - Robert Harper

Types for Program Modules - Robert Harper
Information-flow Control Libraries - Alejandro Russo [2/4]

Information-flow Control Libraries - Alejandro Russo [2/4]
Monads and Interaction - Tarmo Uustalu [2/4]

Monads and Interaction - Tarmo Uustalu [2/4]
Information-flow Control Libraries - Alejandro Russo [1/4]

Information-flow Control Libraries - Alejandro Russo [1/4]
Reasoning about Probabilistic Programs - Justin Hsu [1/4]

Reasoning about Probabilistic Programs - Justin Hsu [1/4]
Monads and Interaction - Tarmo Uustalu [1/4]

Monads and Interaction - Tarmo Uustalu [1/4]
Principles of Programming Languages - Robert Harper [4/4]

Principles of Programming Languages - Robert Harper [4/4]
Semantics of Advanced Data Types - Patricia Johann [4/4]

Semantics of Advanced Data Types - Patricia Johann [4/4]
Proof-oriented Programming in F* - Nikhil Swamy [4/4]

Proof-oriented Programming in F* - Nikhil Swamy [4/4]