Geoffrey Washburn

According to our database, Geoffrey Washburn authored at least 12 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

A Scheduling Approach to Incremental Maintenance of Datalog Programs.

Shikha Singh, Sergey Madaminov, Michael A. Bender, Michael Ferdman, Ryan Johnson, Benjamin Moseley, Hung Q. Ngo, Dung Nguyen, Soeren Olesen, Kurt Stirewalt, Geoffrey Washburn

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

2015

Live Programming in the LogicBlox System: A MetaLogiQL Approach.

Todd J. Green, Dan Olteanu, Geoffrey Washburn

Proc. VLDB Endow., 2015

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

Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

2008

AspectML: A polymorphic aspect-oriented functional programming language.

Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich

ACM Trans. Program. Lang. Syst., 2008

Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism.

Geoffrey Washburn, Stephanie Weirich

J. Funct. Program., 2008

2006

Good advice for type-directed programming aspect-oriented programming and extensible generic functions.

Geoffrey Washburn, Stephanie Weirich

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006

Simple unification-based type inference for GADTs.

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005

Mechanized Metatheory for the Masses: The PoplMark Challenge.

Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

An open and shut typecase.

Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

Generalizing Parametricity Using Information-flow.

Geoffrey Washburn, Stephanie Weirich

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Poly_AML: a polymorphic aspect-oriented functional programming language.

Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2002

Implementing Compositional Analysis Using Intersection Types With Expansion Variables.

Assaf J. Kfoury, Geoffrey Washburn, Joe B. Wells

Proceedings of the Intersection Types and Related Systems, 2002