Indiana University PL Reading Group
Spring 2023 🌱
About
The PL Reading Group (PLRG) is the de facto successor to PL Wonks and several previous reading groups. Unlike the PL Wonks talk series, the focus of PLRG is paper reading and discussion. However, we do occasionally schedule presentations, practice talks, and tutorial sessions (Schedule).
We are looking for presentations! Please refer to Participation for details about voting for papers and scheduling your presentation.
Time
- <1:00 PM> on Tuesdays.
- The event usually lasts 1 hour. You may leave early.
- If you are a speaker, please make sure your presentation is within 40 minutes.
Location
- BLIF-3069: conference room, 3rd floor Luddy Hall (Campus Map)
Schedule
| Date | Paper Title / Presentation | Speaker(s) |
|---|---|---|
| POPL week | N/A | |
| Paper Reading: | Group Discussion | |
| Notions of computation and monads | ||
| Links: Moggi91 , DOI | ||
| Paper Reading: | Group Discussion | |
| An Indexed Model of Recursive Types for | ||
| Foundational Proof-carrying Code | ||
| Links: ACM , DOI | ||
| Paper Reading: | Group Discussion | |
| A type- and scope-safe universe of syntaxes | ||
| with binding: their semantics and proofs | ||
| Links: ACM , DOI | ||
| Paper Reading: | Group Discussion | |
| Abstracting Control | ||
| Links: ACM , DOI | ||
| CS Colloquium | N/A | |
| Paper Reading: | Group Discussion | |
| Representing Control: a Study of the CPS Transformation | ||
| Links: MSCS92 , DOI | ||
| Paper Reading: | Group Discussion | |
| The Essence of Compiling with Continuations | ||
| Links: PDF | ||
| Spring break | N/A | |
| Paper Reading: | Group Discussion | |
| What we talk about when we talk about monads | ||
| Links: Petricek | ||
| Paper Reading: | Group Discussion | |
| Scrap Your Boilerplate: A Practical Design Pattern for | ||
| Generic Programming | ||
| Links: hmap | ||
| Paper Reading: | Group Discussion | |
| Data types à la carte | ||
| Links: DOI , 1 | ||
| Paper Reading: | Group Discussion | |
| From System F to Typed Assembly Language | ||
| Links: PDF | ||
| Paper Reading: | Group Discussion | |
| Initial Algebra Semantics and Continuous Algebras | ||
| Links: PDF | ||
| Special Topic: | Group Discussion | |
| Expressing Information Flow Properties | ||
| Links: PDF |