Diagnosing type errors with class

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 03, 2015
Source ID
10.1145/2737924.2738009

Entities

People

  • Andrew C. Myers
  • Danfeng Zhang
  • Dimitrios Vytiniotis
  • Simon Peyton-jones

Organizations

  • Cornell University
  • Microsoft
  • National Science Foundation
  • Office of Naval Research