Using dependent and polymorphic types for safer development of smart contracts [pdf](publications.lib.chalmers.se)3 points by omphalos 9 years ago | 0 commentsNo comments yet