Monadic Refinement Types for Verifying JavaScript Programs
@techreport{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 = {http://research.microsoft.com/en-us/um/people/nswamy/papers/js2fs-icfp12-submitted-version.pdf},
}