I am (re)writing an implementation for the Refinement Types tutorial by Ranjit Jhala and Niki Vazou. I am hoping that it helps others understand these concepts, and promote this research among your researchers.
I am streaming its development on Twitch, so if you are interested make sure you either have your notifications turned on, or you follow me on Twitter.
Chapters: