Geoffrey Washburn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2003–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SIGMOD | Design and Implementation of the LogicBlox System. | Molham Aref, Balder ten Cate, Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, Geoffrey Washburn |
| 2006 | ICFP | Simple unification-based type inference for GADTs. | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn |
| 2006 | ICFP | Good advice for type-directed programming aspect-oriented programming and extensible generic functions. | Geoffrey Washburn, Stephanie Weirich |
| 2005 | ICFP | Poly | Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich |
| 2005 | LICS | Generalizing Parametricity Using Information-flow. | Geoffrey Washburn, Stephanie Weirich |
| 2003 | ICFP | Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. | Geoffrey Washburn, Stephanie Weirich |