Dimitrios Vytiniotis - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 8 from 8

2011

OutsideIn(X) Modular type inference with local assumptionsDimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann. J. Funct. Program., 21(4-5):333-412, 2011.

2008

FPH: first-class polymorphism for HaskellDimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones. ICFP 2008: 295-306 [doi]

2007

Practical type inference for arbitrary-rank typesSimon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields. JFP, 17(1):1-82, 2007. [doi]

Free Theorems and Runtime Type RepresentationsDimitrios Vytiniotis, Stephanie Weirich. ENTCS, 173:357-373, 2007. [doi]

2006

Simple unification-based type inference for GADTsSimon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn. ICFP 2006: 50-61 [doi]

Boxy types: inference for higher-rank types and impredicativityDimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones. ICFP 2006: 251-262 [doi]

2005

Mechanized Metatheory for the Masses: The PoplMark ChallengeBrian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic. tphol 2005: 50-65 [doi]

An open and shut typecaseDimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich. tldi 2005: 13-24 [doi]

Sign in or sign up to see more results.

runs on WebDSL