ACM SIGPLAN International Conference on Functional Programming, ICFP 2016


Article Details
Title: Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
Article URLs:
Alternative Article URLs:
Authors: Thomas Gilray
  • University of Utah
Michael D. Adams
  • University of Utah
Matthew Might
  • University of Utah
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1350344
DBLP Key: conf/icfp/Gilray0M16
Author Comments:

Discuss this paper and its artifacts below