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
Current Page :
Number of result pages: 1
Number of documents: 8

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI