Underground Reading Group
Programming Languages
Autumn 2016 — Wednesday, 2:30pm — CSE 303
Subscribe to the calendar: iCal or Google Calendar.| Date | Who | What |
|---|---|---|
|
Sep 28
|
everyone |
Organizational meeting |
|
Oct 5
|
James W |
Innovations in Computational Type Theory using Nuprl Introduction to NuPRL |
|
Oct 12
|
Max |
Dag-calculus: a calculus for parallel computation |
|
Oct 19
|
– |
No meeting (Affiliates) |
|
Oct 26
|
James W |
Play around with JonPRL |
|
Nov 2
|
Ryan |
Dependent Intersection: A New Way of Defining Records in Type Theory |
|
Nov 9
|
Doug |
Do Be Do Be Do |
|
Nov 16
|
Thomas |
Hazelnut: A Bidirectionally Typed Structure Editor Calculus |
|
Nov 23
|
– |
No meeting (Thanksgiving) |
|
Nov 30
|
John Toman |
Accelerating Program Analyses by Cross-Program Training |
|
Dec 7
|
Nate Yazdani |
Computational Higher-Dimensional Type Theory |
|
Dec 14
|
everyone |
Catch up |
Paper Suggestions
- Chain: Tasks and Channels for Reliable Intermittent Programs (OOPSLA)
- Finding Compiler Bugs via Live Code Mutation (OOPSLA)
- Session types
Contact James W (jrw12@cs) if you want to get on the mailing list. Or subscribe yourself.