Hacker News new | ask | show | jobs
Using dependent and polymorphic types for safer development of smart contracts [pdf] (publications.lib.chalmers.se)
3 points by omphalos 3645 days ago