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.
- <1 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.
- BLIF 2069 (2nd floor Luddy Hall) Campus Map
| Date | Paper Title / Presentation | Speaker(s) |
|---|---|---|
| <2024-09-13> | Paper Reading: | Group Discussion |
| Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl) | ||
| Links: DOI | ||
| <2024-09-20> | Paper Reading: | Group Discussion |
| The Duality of Computation | ||
| Links: PDF | ||
| <2024-09-27> | Paper Reading: | Group Discussion |
| Staged Compilation with Two-Level Type Theory | ||
| Links: Arxiv | ||
| <2024-09-27> | Paper Reading: | Group Discussion |
| Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs | ||
| Links: DOI | ||