Using dependent and polymorphic types for safer development of smart contracts [pdf]publications.lib.chalmers.se3 pointsomphalos10 years ago