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 × Germany
2 × USA
Collaborated with:
B.Pientka F.Ferreira P.Panangaden
Talks about:
program (3) reactiv (1) induct (1) binder (1) beluga (1) proof (1) index (1) type (1) fair (1) data (1)

Person: Andrew Cave

DBLP DBLP: Cave:Andrew

Contributed to:

CADE 20152015
POPL 20142014
POPL 20122012

Wrote 3 papers:

CADE-2015-PientkaC #induction #programming #proving
Inductive Beluga: Programming Proofs (BP, AC), pp. 272–281.
POPL-2014-CaveFPP #programming
Fair reactive programming (AC, FF, PP, BP), pp. 361–372.
POPL-2012-CaveP #data type #programming
Programming with binders and indexed data-types (AC, BP), pp. 413–424.

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.