Beta Ziliani

Available identifiers

zbMath Open ziliani.betaMaRDI QIDQ777872

List of research outcomes

Publication	Date of Publication	Type
From specification to testing: semantics engineering for Lua 5.2	2022-12-12	Paper
Verification of dynamic bisimulation theorems in Coq	2021-06-25	Paper
Mechanizing bisimulation theorems for relation-changing logics in Coq	2020-07-08	Paper
Mtac: A monad for typed tactic programming in Coq	2017-10-23	Paper
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading	2017-10-23	Paper
A unification algorithm for Coq featuring universe polymorphism and overloading	2017-05-10	Paper
Mtac	2015-03-30	Paper
How to make ad hoc proof automation less ad hoc	2015-03-05	Paper
How to make ad hoc proof automation less ad hoc	2014-02-27	Paper
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation	2013-08-07	Paper

Research outcomes over time

This page was built for person: Beta Ziliani