https://www.youtube.com/watch?v=Q-3tcbUyF34 is a wonderful talk showing how to generate whole programs from just a liquid haskell type definition with Synquid.
miniblog.
Related Posts
One wonderful aspect of POPL is being able to speak to experts.
I've admired Nadia Polikarpova's synthesis work for a while, so I jumped at the opportunity to do a Synquid tutorial led by her!