Search the dblp DataBase

Publications of Author

1. Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
   Simple unification-based type inference for GADTs. [Citation Graph (0, 0)][DBLP]
   ICFP, 2006, pp:50-61 [Conf]
   
2. Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones
   Boxy types: inference for higher-rank types and impredicativity. [Citation Graph (0, 0)][DBLP]
   ICFP, 2006, pp:251-262 [Conf]
   
3. Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich
   An open and shut typecase. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:13-24 [Conf]
   
4. Brian 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. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2005, pp:50-65 [Conf]
   
5. Dimitrios Vytiniotis, Stephanie Weirich
   Free Theorems and Runtime Type Representations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:357-373 [Journal]
   
6. Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
   Practical type inference for arbitrary-rank types. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2007, v:17, n:1, pp:1-82 [Journal]
   
7. 
   FPH: first-class polymorphism for Haskell. [Citation Graph (, )][DBLP]
   
   
8. 
   Complete and decidable type inference for GADTs. [Citation Graph (, )][DBLP]
   
   
9. 
   Let should not be generalized. [Citation Graph (, )][DBLP]