Using dependent and polymorphic types for safer development of smart contracts [pdf]

3 points| omphalos | 9 years ago |publications.lib.chalmers.se