BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ziliani:Beta

Contributed to:

ICFP 20152015
ICFP 20132013
ICFP 20112011

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.