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: Brauner:Paul
Contributed to:
2007
2007
2011Wrote 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.