T. Sheard
From MaRDI portal
Person:1583362
Available identifiers
zbMath Open sheard.timMaRDI QIDQ1583362
List of research outcomes
| 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 |
| A hierarchy of mendler style recursion combinators | 2015-03-05 | Paper |
| Binders unbound | 2015-03-05 | Paper |
| Meta-programming With Built-in Type Equality | 2014-01-10 | Paper |
| Type-level Computation Using Narrowing in Ω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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: T. Sheard
