Indiana University PL Reading Group
Fall 2023 🍁
About
The PL Reading Group (PLRG) is successor to several previous reading groups in programming language research. The main focus of PLRG is paper reading and discussion. We occasionally schedule presentations, practice talks, and tutorial sessions. Check our Schedule.
The papers to discuss are maintained in a queue. Please add to the queue if you have a new suggestion.
We are looking for presentations! Please refer to Participation for details about voting for papers and scheduling your presentation.
Time
- <10 AM> on Thursdays.
- The event usually lasts 1 hour, but 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) |
|---|---|---|
| Presentation: | Darshal Shetty | |
| Implementing Reverse Mode Automatic Differentiation | ||
| in Racket | ||
| Notes: plrg-notes.rkt, same-as.rkt | ||
| Paper Reading: | Group Discussion | |
| λμ-Calculus: An algorithmic interpretation of | ||
| classical natural deduction | ||
| Link: SPRINGER | ||
| Paper Reading: | Group Discussion | |
| I am not a number: I am a free variable | ||
| Link: DOI | ||
| Paper Reading: | Group Discussion | |
| Engineering formal metatheory | ||
| Link: DOI | ||
| Paper Reading: | Group Discussion | |
| A Formulae-as-Types Notion of Control | ||
| Link: PDF | ||
| Paper Reading: | Group Discussion | |
| The next 700 programming languages | ||
| Link: ACM | ||
| Paper Reading: | Group Discussion | |
| Run your research: on the effectiveness of | ||
| lightweight mechanization | ||
| Link: DOI | ||
| Paper Reading: | Group Discussion | |
| Semantical Considerations On Floyd-Hoare Logic | ||
| Link: DOI | ||
| Paper Reading: | Group Discussion | |
| Meta-theory à la carte | ||
| Link: DOI | ||
| Paper Reading: | Group Discussion | |
| Modeling an Algebraic Stepper | ||
| Link: DOI | ||
| Paper Reading: | Group Discussion | |
| The Locally Nameless Representation | ||
| Link: DOI | ||
| Paper Reading: | Group Discussion | |
| Logical types for untyped languages | ||
| Link: DOI | ||