Using dependent and polymorphic types for safer development of smart contracts [pdf] (publications.lib.chalmers.se) 3 points by omphalos 10y ago ↗ HN
0 comments
[ 6.7 ms ] story [ 11.5 ms ] threadNo comments yet.