@phdthesis{basesearch-4491,
  title = {Nested Refinement Types for JavaScript},
  author = {Ravi Chugh},
  year = {2013},
  url = {https://www.base-search.net/Record/8c84cdd216c33dd15148e66f47d926a5130cab886b10bc3616541c8c089a57a1},
  note = {base-search.net (ftcdlib:qt47h935cr)},
  researchr = {https://researchr.org/publication/basesearch-4491},
  cites = {0},
  citedby = {0},
  school = {University of California, San Diego, USA},
}