Denotational cost semantics for functional languages with inductive types

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 29, 2015
Source ID
10.1145/2784731.2784749

Entities

People

  • Daniel R. Licata
  • Norman Danner
  • Ramyaa Ramyaa

Organizations

  • Air Force Research Laboratory
  • National Science Foundation
  • Wesleyan University