The SCEAS System
Navigation Menu

Search the dblp DataBase


Geoffrey Washburn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
    PolyAML: 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]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002