BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
J.G.Morris P.Wadler Jakub Zalewski
Talks about:
type (2) intersect (1) interfer (1) contract (1) conform (1) script (1) messag (1) measur (1) union (1) blame (1)

Person: Jack Williams

DBLP DBLP: Williams:Jack

Contributed to:

ECOOP 20172017
OOPSLA 20182018

Wrote 2 papers:

ECOOP-2017-WilliamsMWZ #consistency #typescript
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (JW, JGM, PW, JZ), p. 29.
OOPSLA-2018-WilliamsMW #contract #using
The root cause of blame: contracts for intersection and union types (JW, JGM, PW), p. 29.
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.