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 × France
1 × Poland
Collaborated with:
C.Houtmann C.Kirchner E.M.Westbrook N.Frisby E.Balland R.Kopetz P.Moreau A.Reilles
Talks about:
superdeduct (1) piggyback (1) principl (1) function (1) program (1) librari (1) languag (1) rewrit (1) hobbit (1) higher (1)

Person: Paul Brauner

DBLP DBLP: Brauner:Paul

Contributed to:

LICS 20072007
RTA 20072007
Haskell 20112011

Wrote 3 papers:

LICS-2007-BraunerHK #deduction
Principles of Superdeduction (PB, CH, CK), pp. 41–50.
RTA-2007-BallandBKMR #java #named
Tom: Piggybacking Rewriting on Java (EB, PB, RK, PEM, AR), pp. 36–47.
Haskell-2011-WestbrookFB #encoding #functional #haskell #higher-order #library #programming language
Hobbits for Haskell: a library for higher-order encodings in functional programming languages (EMW, NF, PB), pp. 35–46.

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.