Collaborated with:
J.Steinhardt P.Liang
Talks about:
synthesi (1) structur (1) control (1) compon (1) angel (1) base (1)
Person: Kensen Shi
DBLP: Shi:Kensen
Contributed to:
Wrote 1 papers:
- POPL-2019-ShiSL #component #named #synthesis
- FrAngel: component-based synthesis with control structures (KS, JS, PL), p. 29.