Matthias Neubauer

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
From sequential programs to multi-tier applications by program transformation
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
2017-07-14Paper
Type classes with more higher-order polymorphism
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
2015-10-07Paper
Discriminative sum types locate the source of type errors
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
2015-07-02Paper
Functional logic overloading
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
2015-03-17Paper
Down with Emacs Lisp
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
2015-03-09Paper
Placement Inference for a Client-Server Calculus
Automata, Languages and Programming
2008-08-19Paper
Programming Languages and Systems
Lecture Notes in Computer Science
2005-08-17Paper


Research outcomes over time


This page was built for person: Matthias Neubauer