Towards automatic resource bound analysis for OCaml

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2017
Source ID
10.1145/3009837.3009842

Entities

People

  • Ankush Das
  • Jan Hoffmann
  • Shu-chun Weng

Organizations

  • Carnegie Mellon University
  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • Yale University