David Herman
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 |
|---|---|---|
| Improving the static analysis of embedded languages via partial evaluation Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Space-efficient gradual typing Higher-Order and Symbolic Computation | 2012-01-13 | Paper |
| A Theory of Hygienic Macros Programming Languages and Systems | 2008-04-11 | Paper |
Research outcomes over time
This page was built for person: David Herman
