Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)

Sorry, there's nothing here.

Cite this paper

@article{Gaboardi2016LanguageBV, title={Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)}, author={Marco Gaboardi and Suresh Jagannathan and Ranjit Jhala and Stephanie Weirich}, journal={Dagstuhl Reports}, year={2016}, volume={6}, pages={59-77} }