Posts tagged PL
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!
I’ll be giving a talk entitled “Set Constraints, Pattern Match Analysis, and SMT” at TFP 2019 in Vancouver! It’s based on a draft paper, which can be found on arxiv. You can also view the slides for the talk.
I’ve made a package that integrates the Ott Semantic Modeling tool into Visual Studio Code. Right now, it supports syntax highlighting, and showing error messages inline, but I hope to eventually add support for source formatting, and prettifying symbols.
You can view the package here.
Pull requests, collaboration, suggestions are all welcome!