Joel H. W. Weinberger -- Paper BibTeX
@inproceedings{ Swamy-Weinberger:tech2012,
author = { Nikhil Swamy and Joel Weinberger and Juan Chen and Ben Livshits and Cole Schlesinger },
title = { Monadic Refinement Types for Verifying JavaScript Programs },
institution = { Microsoft Research },
year = { 2012 },
url = { https://research.microsoft.com/en-us/um/people/nswamy/papers/js2fs-icfp12-submitted-version.pdf },
}