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

Collaborated with:
R.R.Newton O.S.N.Leija J.Devietti N.Vazou Anish Tondwalkar V.Choudhury P.Wadler R.Jhala Kelly Shiptoski Baojun Wang Nicholas Renner
Talks about:
determinist (1) reproduc (1) parallel (1) composit (1) reflect (1) process (1) instanc (1) generic (1) flexibl (1) default (1)

Person: Ryan G. Scott

DBLP DBLP: Scott:Ryan_G=

Contributed to:

Haskell 20192019
OOPSLA 20172017
POPL 20182018
ASPLOS 20202020

Wrote 4 papers:

Haskell-2019-ScottN #flexibility
Generic and flexible defaults for verified, law-abiding type-class instances (RGS, RRN), pp. 15–29.
OOPSLA-2017-ScottLDN #composition #monad #parallel
Monadic composition for deterministic, parallel batch processing (RGS, OSNL, JD, RRN), p. 26.
POPL-2018-VazouTCSNWJ #refinement #smt #verification
Refinement reflection: complete verification with SMT (NV, AT, VC, RGS, RRN, PW, RJ), p. 31.
Reproducible Containers (OSNL, KS, RGS, BW, NR, RRN, JD), pp. 167–182.

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.