Using dependent and polymorphic types for safer development of smart contracts [pdf](publications.lib.chalmers.se)
publications.lib.chalmers.se
Using dependent and polymorphic types for safer development of smart contracts [pdf]
http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf
0 comments
—