Robert Müller

From MaRDI portal
Person:4532089



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
Domain theory for nonmonotonic functions
Algebraic and Logic Programming
2022-08-16Paper
Strongly typed flow-directed representation transformations (extended abstract)
Proceedings of the second ACM SIGPLAN international conference on Functional programming
2017-08-21Paper
Functioning without closure: type-safe customized function representations for standard ML
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
2015-03-09Paper
scientific article; zbMATH DE number 5044588 (Why is no real title available?)2006-08-09Paper
A calculus with polymorphic and polyvariant flow types
Journal of Functional Programming
2002-10-06Paper
scientific article; zbMATH DE number 1746456 (Why is no real title available?)2002-05-28Paper


Research outcomes over time


This page was built for person: Robert Müller