Dependent and refinement types: why?
Why are dependent and refinement types useful?
September 14 2020
haskell
,
functional programming
,
functional
,
dependent types
,
refinement types
,
arend
,
agda
,
coq
,
liquidhaskell
Coq
Posts
Ensure the success of your project
47 Degrees can work with you to help manage the risks of technology evolution, develop a team of top-tier engaged developers, improve productivity, lower maintenance cost, increase hardware utilization, and improve product quality; all while using the best technologies.