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 × India
1 × Italy
1 × The Netherlands
2 × USA
Collaborated with:
W.R.Cook D.S.Batory T.Schrijvers B.C.d.S.Oliveira J.Wiegley C.Pit-Claudel J.Gross A.Chlipala S.Keuchel Kia Rahmani K.Nagar S.Jagannathan
Talks about:
theori (2) meta (2) synthesi (1) composit (1) abstract (1) theorem (1) product (1) modular (1) generat (1) databas (1)

Person: Benjamin Delaware

DBLP DBLP: Delaware:Benjamin

Contributed to:

POPL 20152015
ICFP 20132013
POPL 20132013
OOPSLA 20112011
ESEC/FSE 20092009
Haskell 20172017
OOPSLA 20192019

Wrote 7 papers:

POPL-2015-DelawarePGC #data type #deduction #named #proving #synthesis
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant (BD, CPC, JG, AC), pp. 689–700.
ICFP-2013-DelawareKSO #composition #monad
Modular monadic meta-theory (BD, SK, TS, BCdSO), pp. 319–330.
Meta-theory à la carte (BD, BCdSO, TS), pp. 207–218.
OOPSLA-2011-DelawareCB #product line #theorem
Product lines of theorems (BD, WRC, DSB), pp. 595–608.
ESEC-FSE-2009-DelawareCB #composition
Fitting the pieces together: a machine-checked model of safe composition (BD, WRC, DSB), pp. 243–252.
Haskell-2017-WiegleyD #coq #haskell #performance #using
Using Coq to write fast and correct Haskell (JW, BD), pp. 52–62.
OOPSLA-2019-RahmaniNDJ #consistency #database #generative #named #testing
CLOTHO: directed test generation for weakly consistent database systems (KR, KN, BD, SJ), p. 28.

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.