`Travelled to:`

1 × Austria

1 × Serbia

2 × USA

`Collaborated with:`

P.Alexander P.Weaver N.Frisby A.Stump R.E.H.Omar J.Ward

`Talks about:`

construct (3) processor (2) languag (2) algebra (2) combin (2) interpreterlib (1) framework (1) confluenc (1) prufrock (1) theorem (1)

## Person: Garrin Kimmell

### DBLP: Kimmell:Garrin

### Contributed to:

### Wrote 5 papers:

- RTA-2011-StumpKO #confluence #problem
- Type Preservation as a Confluence Problem (AS, GK, REHO), pp. 345–360.
- ASE-2007-WeaverKFA #composition #programming
- Modular and generic programming with interpreterlib (PW, GK, NF, PA), pp. 473–476.
- GPCE-2007-WeaverKFA #algebra #combinator
- Constructing language processors with algebra combinators (PW, GK, NF, PA), pp. 155–164.
- GPCE-J-2007-FrisbyKWA10 #algebra #combinator
- Constructing language processors with algebra combinators (NF, GK, PW, PA), pp. 543–572.
- ASE-2005-WardKA #framework #named #proving #theorem proving
- Prufrock: a framework for constructing polytypic theorem provers (JW, GK, PA), pp. 423–426.