My paper “Approximate Normalization for Gradual Dependent Types”, with Éric Tanter and Ron Garcia, was accepted to ICFP! The preprint is now available on Arxiv. Feel free to send me comments or questions on the paper.
I’m currently working on extending the calculus from that paper into a fully usable language, which I’ve named Dudley. Stay tuned for more updates on this development!