Beta Ziliani

Beta Ziliani

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Others
AD Scientific Index ID: 4770667
Max Planck Institute for Software Systems
person_outline Beta Ziliani's MOST POPULAR ARTICLES
1-) How to make ad hoc proof automation less ad hocG Gonthier, B Ziliani, A Nanevski, D DreyerACM SIGPLAN Notices 46 (9), 163-175, 2011652011
2-) Mtac: a monad for typed tactic programming in CoqB Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V VafeiadisACM SIGPLAN Notices 48 (9), 87-100, 2013552013
3-) Mtac: A monad for typed tactic programming in CoqB Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V VafeiadisJournal of functional programming 25, e12, 2015462015
4-) Mtac2: typed tactics for backward reasoning in CoqJO Kaiser, B Ziliani, R Krebbers, Y Régis-Gianas, D DreyerProceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018392018
5-) How to make ad hoc proof automation less ad hocG Gonthier, B Ziliani, A Nanevski, D DreyerJournal of Functional Programming 23 (4), 357-401, 2013372013