Timothy E. Sheard
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 |
|---|---|---|
| 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
