Travelled to:1 × Canada
1 × Japan
1 × USA
Collaborated with:M.Sozeau D.Dreyer A.Nanevski G.Gonthier N.R.Krishnaswami V.Vafeiadis
Talks about:hoc (2) coq (2) ad (2) polymorph (1) algorithm (1) overload (1) univers (1) program (1) tactic (1) featur (1)
Person: Beta Ziliani
DBLP: Ziliani:Beta
Contributed to:
201520132011Wrote 3 papers:
- ICFP-2015-ZilianiS #algorithm #coq #morphism #polymorphism #unification
- A unification algorithm for Coq featuring universe polymorphism and overloading (BZ, MS), pp. 179–191.
- ICFP-2013-ZilianiDKNV #coq #monad #named #programming
- Mtac: a monad for typed tactic programming in Coq (BZ, DD, NRK, AN, VV), pp. 87–100.
- ICFP-2011-GonthierZND #ad hoc #automation #how #proving
- How to make ad hoc proof automation less ad hoc (GG, BZ, AN, DD), pp. 163–175.