Using dependent and polymorphic types for safer development of smart contracts [pdf]http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf by omphalos • 10 years ago 3 0 10 years agoPUpublications.lib.chalmers.se