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 × USA
Collaborated with:
Talks about:
investig (1) interact (1) classic (1) inject (1) compil (1) plato (1) logic (1) finit (1) what (1) form (1)

Person: Timothy L. Hinrichs

DBLP DBLP: Hinrichs:Timothy_L=

Contributed to:

PADL 20112011
KR 20082008

Wrote 2 papers:

PADL-2011-Hinrichs #compilation #interactive #named #web
Plato: A Compiler for Interactive Web Forms (TLH), pp. 54–68.
KR-2008-HinrichsG #finite #how #injection #logic #what
Injecting the How into the What: Investigating a Finite Classical Logic (TLH, MRG), pp. 92–192.

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.