Indiana University PL Reading Group
Spring 2024 🌷
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
- <2 PM> on Fridays.
- 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
- BLI 100A (conference room, 1st floor Myles Brand Hall) Campus Map
Schedule
| Date | Paper Title / Presentation | Speaker(s) |
|---|---|---|
| Paper Reading: | Group Discussion | |
| Handlers in action | ||
| Link: DOI | ||
| Paper Reading: | Group Discussion | |
| Dynamic Typing with Dependent Types | ||
| Links: SPRINGER, Technical Report | ||
| Paper Reading: | Group Discussion | |
| Compiling without continuations | ||
| LINKS: DOI | ||
| Paper Reading: | Group Discussion | |
| Refined Criteria for Gradual Typing | ||
| LINKS: DOI | ||
| Paper Reading: | Group Discussion | |
| Well-Typed Programs Can’t Be Blamed | ||
| LINKS: DOI | ||
| Paper Reading: | Group Discussion | |
| Higher-Order Abstract Syntax | ||
| LINKS: PDF | ||
| Paper Reading: | Group Discussion | |
| The Dynamic Practice and Static Theory of Gradual Typing | ||
| LINKS: PDF | ||
| Paper Reading: | Group Discussion | |
| How to Keep Your Neighbours in Order | ||
| LINKS: PDF | ||