Collaborated with:
Jack Williams J.G.Morris P.Wadler
Talks about:
interfer (1) conform (1) script (1) messag (1) measur (1) type (1) non (1) mix (1)
Person: Jakub Zalewski
DBLP: Zalewski:Jakub
Contributed to:
Wrote 1 papers:
- ECOOP-2017-WilliamsMWZ #consistency #typescript
- Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (JW, JGM, PW, JZ), p. 29.