joel h. w. weinberger

jww (at) joelweinberger (dot) us -- bibtex

Joel H. W. Weinberger -- Paper BibTeX

@inproceedings{ Swamy-Weinberger:tech2012,
author = { [swamy jww jchen livshits schlesinger] },
title = { Monadic Refinement Types for Verifying JavaScript Programs },
institution = { Microsoft Research },
year = { 2012 },
url = { http://research.microsoft.com/en-us/um/people/nswamy/papers/js2fs-icfp12-submitted-version.pdf },
}