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 × Iceland
1 × Italy
1 × Spain
1 × Sweden
4 × USA
Collaborated with:
P.Thiemann M.Sperber M.Gasbichler
Talks about:
type (5) program (2) transform (1) polymorph (1) placement (1) parameter (1) implement (1) discrimin (1) sequenti (1) overload (1)

Person: Matthias Neubauer

DBLP DBLP: Neubauer:Matthias

Contributed to:

ICALP (2) 20082008
PPDP 20082008
POPL 20052005
LDTA 20042004
PADL 20042004
ICFP 20032003
ICFP 20022002
POPL 20022002
ICFP 20012001
Haskell 20042004

Wrote 10 papers:

ICALP-B-2008-NeubauerT #calculus
Placement Inference for a Client-Server Calculus (MN, PT), pp. 75–86.
PPDP-2008-ThiemannN #context-free grammar #metaprogramming
Macros for context-free grammars (PT, MN), pp. 120–130.
POPL-2005-NeubauerT #multi #program transformation #source code
From sequential programs to multi-tier applications by program transformation (MN, PT), pp. 221–232.
LDTA-2004-ThiemannN #lr #parsing
Parameterized LR Parsing (PT, MN), pp. 115–132.
PADL-2004-NeubauerT #implementation
An Implementation of Session Types (MN, PT), pp. 56–70.
ICFP-2003-NeubauerT #fault
Discriminative sum types locate the source of type errors (MN, PT), pp. 15–26.
ICFP-2002-NeubauerT #higher-order #morphism #polymorphism
Type classes with more higher-order polymorphism (MN, PT), pp. 179–190.
POPL-2002-NeubauerTGS #functional #logic
Functional logic overloading (MN, PT, MG, MS), pp. 233–244.
ICFP-2001-NeubauerS #analysis #emacs #lisp
Down with Emacs Lisp: Dynamic Scope Analysis (MN, MS), pp. 38–49.
Haskell-2004-NeubauerT #haskell
Haskell type browser (MN, PT), pp. 92–93.
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.