Safe stream-based programming with refinement types

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 03, 2018
Source ID
10.1145/3238147.3238174

Entities

People

  • Benno Stein
  • Bor-yuh Evan Chang
  • Lazaro Clapp
  • Manu Sridharan

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • UberCab
  • University of Colorado Boulder