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 × 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 DBLP: Kimmell:Garrin

Contributed to:

RTA 20112011
ASE 20072007
GPCE 20072007
SCP, 20102010
ASE 20052005

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.

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.