| No. |
Title |
Author |
Year |
| 1 |
A Modal Analysis of Metaprogramming, Revisited (Invited Talk) |
Pientka, Brigitte |
2020 |
| 2 |
Index-Stratified Types |
Jacob-Rao, Rohan et al. |
2018 |
| 3 |
Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga |
Kaiser, Jonas et al. |
2017 |
| 4 |
Universality of Proofs (Dagstuhl Seminar 16421) |
Dowek, Gilles et al. |
2017 |
| 5 |
Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers, Organising Commitee |
Kesner, Delia et al. |
2016 |
| 6 |
LIPIcs, Volume 52, FSCD'16, Complete Volume |
Kesner, Delia et al. |
2016 |
| 7 |
Mechanizing Meta-Theory in Beluga (Invited Talk) |
Pientka, Brigitte |
2015 |
| 8 |
Well-Founded Recursion over Contextual Objects |
Pientka, Brigitte et al. |
2015 |
