BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
U.Gérard R.Blanco Z.Chihani A.Momigliano G.Scherer
Talks about:
function (2) proof (2) reconstruct (1) translat (1) properti (1) implicit (1) explicit (1) version (1) program (1) between (1)

Person: Dale Miller 0001

DBLP DBLP: 0001:Dale_Miller

Contributed to:

CADE 20172017
CSL 20172017
PPDP 20192019

Wrote 4 papers:

CADE-2017-BlancoCM #proving
Translating Between Implicit and Explicit Versions of Proof (RB, ZC, DM0), pp. 255–273.
CSL-2017-GerardM #functional
Separating Functional Computation from Relations (UG, DM0), p. 17.
PPDP-2019-Blanco0M #proving #re-engineering #testing
Property-Based Testing via Proof Reconstruction (RB, DM0, AM), p. 13.
PPDP-2019-Gerard0S #functional #programming #syntax
Functional programming with λ-tree syntax (UG, DM0, GS), p. 16.

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.