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.
Posts tagged PL
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!