Using dependent and polymorphic types for safer development of smart contracts [pdf]publications.lib.chalmers.se3 points·omphalos··0 commentsOpen articleSaveView on HN