Time: Fridays 10:10am - 11:00am
Location: Gates 310 (Zoom link sent via Slack channel)
Organizers: Yulun Yao and Jialu Bao
This is a 1-credit seminar that meets every week to discuss classic papers in programming languages adjacent fields. Great works is a discussion-focused reading group. We expect participants to read the papers and attend the seminar.
Our primary means of communication is through slack: Cornell CIS #great-pl
Please also join the PLDG mailing list:
To join, send a message to firstname.lastname@example.org with the subject “join” and a blank body.
This seminar has two parts — a presentation that familiarize people with the topic and help them with paper reading, and a discussion in the subsequent week with the expectation that people have a good understanding of the paper. Aim for 20-25 minutes for your presentation, and 25-30 minutes discussion (prepare questions and slides).
An up-to-date schedule and paper list is here. You can fill in your name in the empty block to claim a presentation slot.
Paper titles are hyperlinked to PDFs available on the web. If a link is broken, open an issue at the Github repo for this website, or find a working link and make a pull request.
|Hints on Programming Languages Design
|Rise of Worse is Better & Growing a Language
|Call-by-name, call-by-value, and the λ-calculus
|Kleene Algebra with Tests
|The next 700 programming languages
|Why Functional Programming Matters
|Types, Abstraction, and Parametric Polymorphism
|Using Dependent Types to Express Modular Structure
|Introduction to the Calculus of Inductive Constructions
|Formal Verification of a Realistic Compiler
|Systematic Design of Program Analysis Frameworks
|A Probabilistic PDL
|Computational lambda-calculus and monads & Handling Algebraic Effects