| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | Huang, ZLi, WSantori, CAcosta, VFaraon, AIshikawa, TWu, WWinston, DWilliams, RBeausoleil, R | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| | | 2013 |
| Meta-theory à la carteProceeding/Conference:Conference Record of the Annual ACM Symposium on Principles of Programming Languages | | 2013 |