ACM Principles of Programming Languages, POPL 2016


Article Details
Title: Is sound gradual typing dead?
Article URLs:
Alternative Article URLs:
Authors: Asumu Takikawa
  • Northeastern University, CCIS
Daniel Feltey
  • Northeastern University, CCIS
Ben Greenman
  • Northeastern University, CCIS
Max S. New
  • Northeastern University, CCIS
Jan Vitek
  • Northeastern University, CCIS
Matthias Felleisen
  • Northeastern University, CCIS
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge:
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
awarded
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 0963737
DBLP Key: conf/popl/TakikawaFGNVF16
Author Comments: A journal version with additional data has been submitted. When it is accepted, we will provide a URL.

Discuss this paper and its artifacts below