Tim Sheard
From MaRDI portal
Person:1583362
Available identifiers
zbMath Open sheard.timMaRDI QIDQ1583362
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 |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q5854731 | 2021-03-17 | Paper |
| Tagless staged interpreters for typed languages | 2015-10-07 | Paper |
| Generic unification via two-level types and parameterized modules | 2015-03-09 | Paper |
| Binders unbound | 2015-03-05 | Paper |
| A hierarchy of mendler style recursion combinators | 2015-03-05 | Paper |
| Meta-programming with built-in type equality | 2014-01-10 | Paper |
| Type-level computation using narrowing in \(\Omega\)mega | 2013-12-13 | Paper |
| System F i | 2013-06-28 | Paper |
| Programming in Ωmega | 2009-02-03 | Paper |
| Erasure and Polymorphism in Pure Type Systems | 2008-04-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Two-level types and parameterized modules | 2005-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4445765 | 2004-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4445773 | 2004-02-02 | Paper |
| MetaML and multi-stage programming with explicit annotations | 2000-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264731 | 1999-10-10 | Paper |
Research outcomes over time
This page was built for person: Tim Sheard
