Matthias Neubauer

From MaRDI portal
Person:2949204



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