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 |
|---|---|---|
| Painless programming combining reduction and search, design principles for embedding decision procedures in high-level languages Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Accomplishments and research challenges in meta-programming Lecture Notes in Computer Science | 2004-02-02 | Paper |
| Dynamically adaptable software with metacomputations in a staged language Lecture Notes in Computer Science | 2004-02-02 | Paper |
| Closed types for a safe imperative MetaML Journal of Functional Programming | 2003-01-01 | Paper |
| MetaML and multi-stage programming with explicit annotations Theoretical Computer Science | 2000-10-26 | Paper |
| Uniform traversal combinators: Definition, use and properties Lecture Notes in Computer Science | 1999-10-10 | Paper |
Research outcomes over time
This page was built for person: Timothy E. Sheard
