Indiana University PL Reading Group
Summer 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
- <3 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
- BLIF 3004 (3rd Floor, Luddy Hall) Campus Map
Schedule
| Date | Paper Title / Presentation | Speaker(s) |
|---|---|---|
| Presentation: | Darshal | |
| Formalizing logics in Twelf | ||
| Link: Demo files | ||
| Paper Reading: | Group Discussion | |
| Strongly Typed Term Representations in Coq | ||
| Links: DOI | ||
| Paper Reading: | Group Discussion | |
| Hybrid type checking | ||
| Links: DOI | ||
| Paper Reading: | Group Discussion | |
| Semantics of Interaction | ||
| Links: PDF | ||
| Paper Reading: | Group Discussion | |
| Lightweight semiformal time complexity analysis for purely functional data structures | ||
| Links: DOI | ||
| Paper Reading: | Group Discussion | |
| Timely Computation | ||
| Links: PDF | ||
| Paper Reading: | Group Discussion | |
| The Functional Essence of Imperative Binary Search Trees | ||
| Links: PDF | ||
| Paper Reading: | Group Discussion | |
| Polynomial Time and Dependent Types | ||
| Links: PDF | ||
| Paper Reading: | Group Discussion | |
| Type Theory Should Eat Itself | ||
| Links: DOI | ||
| Paper Reading: | Group Discussion | |
| Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl) | ||
| Links: DOI | ||