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 AnalysisYear | 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. |