ACM Principles of Programming Languages, POPL 2015


Article Details
Title: Programming up to Congruence
Article URLs:
Alternative Article URLs: http://repository.upenn.edu/cis_reports/992/
Authors: Vilhelm Sjöberg
  • University of Pennsylvania, Computer and Information Science
Stephanie Weirich
  • University of Pennsylvania, Computer and Information Science
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: 0910500, 1116620, 1319880
DBLP Key: conf/popl/SjobergW15
Author Comments:

Discuss this paper and its artifacts below