Dimitrios Vytiniotis, Ph.D.
Affiliations: | 2008 | University of Pennsylvania, Philadelphia, PA, United States |
Area:
Theory: Formal Methods and Logic; Programming Languages and Program AnalysisGoogle:
"Dimitrios Vytiniotis"Parents
Sign in to add mentorStephanie Weirich | grad student | 2008 | Penn | |
(Practical type inference for first-class polymorphism.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Zhang D, Myers AC, Vytiniotis D, et al. (2017) SHErrLoc: A Static Holistic Error Locator Acm Transactions On Programming Languages and Systems. 39: 18 |
Vazou N, Seidel EL, Jhala R, et al. (2014) Refinement types for Haskell Acm Sigplan Notices. 49: 269-282 |
Eisenberg RA, Vytiniotis D, Peyton Jones S, et al. (2014) Closed type families with overlapping equations Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 671-683 |
Sergey I, Vytiniotis D, Peyton Jones S. (2014) Modular, higher-order cardinality analysis in theory and practice Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 335-347 |
Vytiniotis D, Jones SP. (2013) Evidence normalization in system FC Leibniz International Proceedings in Informatics, Lipics. 21: 20-38 |
Vytiniotis D, Jones SP, Magalhães JP. (2012) Equality proofs and deferred type errors a compiler pearl Acm Sigplan Notices. 47: 341-352 |
Vytiniotis D, Peyton Jones S, Magalhães JP. (2012) Equality proofs and deferred type errors: A compiler pearl Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 341-352 |
Yorgey BA, Weirich S, Cretin J, et al. (2012) Giving haskell a promotion Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 53-65 |
Kennedy AJ, Vytiniotis D. (2012) Every bit counts: The binary representation of typed data and programs Journal of Functional Programming. 22: 529-573 |
Weirich S, Vytiniotis D, Jones SP, et al. (2011) Generative type abstraction and type-level computation Acm Sigplan Notices. 46: 227-239 |