Brent A. Yorgey, Ph.D. - Publications

Affiliations: 
2014 Computer and Information Science University of Pennsylvania, Philadelphia, PA, United States 
Area:
Theory: Formal Methods and Logic; Programming Languages and Program Analysis

1 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2011 Weirich S, Yorgey BA, Sheard T. Binders UNBOUND Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 333-345. DOI: 10.1145/2034773.2034818  0.388
Show low-probability matches.