| 2016-08-18 |
How to Twist Pointers without Breaking Them |
Nathaniel W Filardo |
| 2016-07-29 |
ECOOP 2016 |
Dr. Scott Smith |
| 2016-06-30 |
PLT Redex—Part 2 |
Leandro Facchinetti |
| 2016-06-23 |
PLT Redex—Part 1 |
Leandro Facchinetti |
| 2016-05-26 |
Deep Specifications and Certified Abstraction Layers [PDF] |
Kenneth D. Roe |
| 2016-04-28 |
Verifying programs with complex data structures using Coq |
Kenneth D. Roe |
| 2016-04-21 |
POPL 2016 Tutorial: Higher-Order Model Checking |
Dr. Scott Smith |
| 2016-04-14 |
POPL 2016 Tutorial: Higher-Order Model Checking |
Dr. Scott Smith |
| 2016-04-07 |
Dagstuhl Seminar 16131 papers |
Dr. Scott Smith |
| 2016-03-24 |
Higher-Order Demand-Driven Program Analysis [PDF] |
Leandro Facchinetti and Dr. Scott Smith |
| 2016-03-03 |
1ML – Core and Modules United (F-ing First-Class Modules) [PDF] |
Alex Rozenshteyn |
| 2016-02-25 |
Is Sound Gradual Typing Dead? [PDF] |
Dr. Scott Smith |
| 2016-02-18 |
Binding as Sets of Scopes [PDF] |
Dr. Scott Smith |
| 2016-02-11 |
Hygienic resugaring of compositional desugaring [PDF] |
Alex Rozenshteyn |
| 2016-02-04 |
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [PDF] |
Dr. Scott Smith |
| 2016-01-28 |
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [PDF] |
Dr. Scott Smith |