Using dependent and polymorphic types for safer development of smart contracts [pdf]

publications.lib.chalmers.se