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

[ 3.9 ms ] story [ 13.7 ms ] thread

No comments yet.