The following pages link to Matthias Neubauer (Q2949204):
Displayed 7 items.
- Type classes with more higher-order polymorphism (Q2949205) (← links)
- Placement Inference for a Client-Server Calculus (Q3520305) (← links)
- Down with Emacs Lisp (Q5177996) (← links)
- Functional logic overloading (Q5178909) (← links)
- Discriminative sum types locate the source of type errors (Q5261263) (← links)
- From sequential programs to multi-tier applications by program transformation (Q5276148) (← links)
- Programming Languages and Systems (Q5464042) (← links)