Login / Signup
Ken Chan Guan Hao
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Open Source
Transaction Costs
Programming Education
Search Algorithm
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Ilya Sergey
,
Vaivaswatha Nagaraj
,
Jacob Johannsen
,
Amrit Kumar
,
Anton Trunov
,
Ken Chan Guan Hao
Safer smart contract programming with Scilla.
Proc. ACM Program. Lang.
3 (OOPSLA) (2019)