dblp.uni-trier.dewww.uni-trier.de

Dimitrios Vytiniotis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEDimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: FPH: first-class polymorphism for Haskell. ICFP 2008: 295-306
2007
6EEDimitrios Vytiniotis, Stephanie Weirich: Free Theorems and Runtime Type Representations. Electr. Notes Theor. Comput. Sci. 173: 357-373 (2007)
5EESimon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields: Practical type inference for arbitrary-rank types. J. Funct. Program. 17(1): 1-82 (2007)
2006
4EEDimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: Boxy types: inference for higher-rank types and impredicativity. ICFP 2006: 251-262
3EESimon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn: Simple unification-based type inference for GADTs. ICFP 2006: 50-61
2005
2EEDimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich: An open and shut typecase. TLDI 2005: 13-24
1EEBrian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic: Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs 2005: 50-65

Coauthor Index

1Brian E. Aydemir [1]
2Aaron Bohannon [1]
3Matthew Fairbairn [1]
4J. Nathan Foster [1]
5Simon L. Peyton Jones [3] [4] [5] [7]
6Benjamin C. Pierce [1]
7Peter Sewell [1]
8Mark Shields [5]
9Geoffrey Washburn [1] [2] [3]
10Stephanie Weirich [1] [2] [3] [4] [5] [6] [7]
11Steve Zdancewic [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)