BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Japan
1 × USA
Collaborated with:
C.Schürmann A.Poswolsky
Talks about:
lexicograph (1) structur (1) function (1) calculus (1) triangl (1) program (1) induct (1) higher (1) relat (1) order (1)

Person: Jeffrey Sarnat

DBLP DBLP: Sarnat:Jeffrey

Contributed to:

TLCA 20092009
LICS 20082008
TLCA 20052005

Wrote 3 papers:

TLCA-2009-SarnatS #induction
Lexicographic Path Induction (JS, CS), pp. 279–293.
LICS-2008-SchurmannS #logic
Structural Logical Relations (CS, JS), pp. 69–80.
TLCA-2005-SchurmannPS #calculus #encoding #functional #higher-order #programming
The [triangle]-Calculus. Functional Programming with Higher-Order Encodings (CS, AP, JS), pp. 339–353.
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.