BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Estonia
1 × Sweden
2 × USA
Collaborated with:
S.Weirich T.J.Green D.Olteanu S.L.P.Jones D.Vytiniotis D.S.Dantas D.Walker M.Aref B.t.Cate B.Kimelfeld E.Pasalic T.L.Veldhuizen
Talks about:
polymorph (2) parametr (2) program (2) system (2) logic (2) blox (2) sub (2) implement (1) function (1) approach (1)

Person: Geoffrey Washburn

DBLP DBLP: Washburn:Geoffrey

Contributed to:

SIGMOD 20152015
VLDB 20152015
ICFP 20062006
ICFP 20052005
LICS 20052005
ICFP 20032003

Wrote 6 papers:

SIGMOD-2015-ArefCGKOPVW #design #implementation
Design and Implementation of the LogicBlox System (MA, BtC, TJG, BK, DO, EP, TLV, GW), pp. 1371–1382.
VLDB-2015-GreenOW #approach #live programming #programming
Live Programming in the LogicBlox System: A MetaLogiQL Approach (TJG, DO, GW), pp. 1782–1793.
ICFP-2006-JonesVWW #data type #type inference
Simple unification-based type inference for GADTs (SLPJ, DV, SW, GW), pp. 50–61.
ICFP-2005-DantasWWW #aspect-oriented #functional #named #polymorphism #programming language
PolyAML: a polymorphic aspect-oriented functional programming language (DSD, DW, GW, SW), pp. 306–319.
LICS-2005-WashburnW #data flow #parametricity #using
Generalizing Parametricity Using Information-flow (GW, SW), pp. 62–71.
ICFP-2003-WashburnW #encoding #higher-order #morphism #parametricity #polymorphism #syntax
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.