refinement kinds: type-safe programming with practical type-level computation Published 5 years ago • 311 plays • Length 23:00 Download video MP4 Download video MP3 Similar videos 20:30 program synthesis by type-guided abstraction refinement 29:17 [popl 2021] intensional datatype refinement (full) 54:12 program synthesis from refinement types
![[popl 2021] intensional datatype refinement (full)](https://i.ytimg.com/vi/BkqoQfAWYTo/mqdefault.jpg)
