5 ms·Using dependent and polymorphic types for safer development of smart contracts [pdf]3 points by omphalos 10y ago