Search the dblp DataBase

Publications of Author

1. Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
   Poly_AML: a polymorphic aspect-oriented functional programming language. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:306-319 [Conf]
   
2. 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]
   
3. Geoffrey Washburn, Stephanie Weirich
   Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:249-262 [Conf]
   
4. Geoffrey Washburn, Stephanie Weirich
   Generalizing Parametricity Using Information-flow. [Citation Graph (0, 0)][DBLP]
   LICS, 2005, pp:62-71 [Conf]
   
5. Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich
   An open and shut typecase. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:13-24 [Conf]
   
6. 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]
   
7. Assaf J. Kfoury, Geoffrey Washburn, Joe Wells
   Implementing Compositional Analysis Using Intersection Types With Expansion Variables. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:1, pp:- [Journal]
   
8. 
   Good advice for type-directed programming aspect-oriented programming and extensible generic functions. [Citation Graph (, )][DBLP]