Searching for authors named "Matthias Neubauer" – sorted by Relevance.
-
Parameterized LR Parsing
- LDTA'04 Preliminary Version Parameterized LR Parsing Peter Thiemann and Matthias Neubauer 1
- Add To MetaCart
-
Type Classes With More Higher-Order Polymorphism
- Type Classes With More Higher-Order Polymorphism Matthias Neubauer Peter Thiemann Universit
- Cited by 4 (1 self) – Add To MetaCart
-
Down with Emacs Lisp: Dynamic Scope Analysis
- Down with Emacs Lisp: Dynamic Scope Analysis Matthias Neubauer Institut f ur Informatik Universit
- Cited by 4 (0 self) – Add To MetaCart
-
An Implementation of Session Types
- An Implementation of Session Types Matthias Neubauer and Peter Thiemann # Universitat Freiburg
- Cited by 13 (0 self) – Add To MetaCart
-
Discriminative Sum Types Locate the Source of Type Errors
- Discriminative Sum Types Locate the Source of Type Errors Matthias Neubauer Peter Thiemann
- Cited by 8 (1 self) – Add To MetaCart
-
From Sequential Programs to Multi-Tier Applications by Program Transformation
- . Copyright 2005 ACM 1-58113-830-X/05/0001 ...$5.00. Matthias Neubauer Peter Thiemann Institut für Informatik
- Cited by 6 (0 self) – Add To MetaCart
-
A Functional Notation for Functional Dependencies
- Abstract A Functional Notation for Functional Dependencies Matthias Neubauer 1 Peter Thiemann 2
- Cited by 11 (2 self) – Add To MetaCart
-
Functional Logic Overloading
- Functional Logic Overloading Matthias Neubauer Peter Thiemann Universit at Freiburg {neubauer
- Cited by 14 (1 self) – Add To MetaCart
-
Functional Logic Overloading
- Functional Logic Overloading Matthias Neubauer Peter Thiemann Universität Freiburg {neubauer
- Add To MetaCart
-
A Functional Notation
- Abstract A Functional Notation for Functional Dependencies Matthias Neubauer 1 Peter Thiemann 2
- Add To MetaCart

