Geoffrey Washburn

13 papers A* 1A 4Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2020 A conf
A Scheduling Approach to Incremental Maintenance of Datalog Programs.
IPDPS
Shikha Singh, Sergey Madaminov, Michael A. Bender, Michael Ferdman, Ryan Johnson, Benjamin Moseley, Hung Q. Ngo, Dung Nguyen, Soeren Olesen, Kurt Stirewalt, Geoffrey Washburn
2015 — conf
Design and Implementation of the LogicBlox System.
SIGMOD Conference
Molham Aref, Balder ten Cate, Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, Geoffrey Washburn
2015 J jnl
Live Programming in the LogicBlox System: A MetaLogiQL Approach.
Proc. VLDB Endow.
Todd J. Green, Dan Olteanu, Geoffrey Washburn
2008 J jnl
AspectML: A polymorphic aspect-oriented functional programming language.
ACM Trans. Program. Lang. Syst.
Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
2008 J jnl
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism.
J. Funct. Program.
Geoffrey Washburn, Stephanie Weirich
2006 — conf
Good advice for type-directed programming aspect-oriented programming and extensible generic functions.
ICFP-WGP
Geoffrey Washburn, Stephanie Weirich
2006 A conf
Simple unification-based type inference for GADTs.
ICFP
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
2005 — conf
An open and shut typecase.
TLDI
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich
2005 A* conf
Generalizing Parametricity Using Information-flow.
LICS
Geoffrey Washburn, Stephanie Weirich
2005 — conf
Mechanized Metatheory for the Masses: The PoplMark Challenge.
TPHOLs
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic
2005 A conf
Poly
ICFP
Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
2003 A conf
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism.
ICFP
Geoffrey Washburn, Stephanie Weirich
2002 — conf
Implementing Compositional Analysis Using Intersection Types With Expansion Variables.
ITRS
Assaf J. Kfoury, Geoffrey Washburn, Joe B. Wells