Bernd Grobauer
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!
| Publication | Date of Publication | Type |
|---|---|---|
| Cost recurrences for DML programs Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| scientific article; zbMATH DE number 2036333 (Why is no real title available?) | 2004-02-02 | Paper |
| A unifying approach to goal-directed evaluation New Generation Computing | 2002-10-10 | Paper |
| scientific article; zbMATH DE number 1786226 (Why is no real title available?) | 2002-08-21 | Paper |
| The second Futamura projection for type-directed partial evaluation Higher-Order and Symbolic Computation | 2002-03-14 | Paper |
| Topics in semantics-based program manipulation | 2002-01-16 | Paper |
| scientific article; zbMATH DE number 1424022 (Why is no real title available?) | 2000-06-15 | Paper |
Research outcomes over time
This page was built for person: Bernd Grobauer
