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 |
|---|---|---|
| Irrelevance, heterogeneous equality, and call-by-value dependent type systems | 2021-03-17 | Paper |
| Irrelevance, heterogeneous equality, and call-by-value dependent type systems (available as arXiv preprint) | 2021-03-17 | Paper |
| Tagless staged interpreters for typed languages Proceedings of the seventh ACM SIGPLAN international conference on Functional programming | 2015-10-07 | Paper |
| Generic unification via two-level types and parameterized modules Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Binders unbound Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| A hierarchy of Mendler style recursion combinators: taming inductive datatypes with negative occurrences Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Meta-programming with built-in type equality Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
| Type-level computation using narrowing in \(\Omega\)mega Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
| System F i Lecture Notes in Computer Science | 2013-06-28 | Paper |
| Programming in Ωmega Central European Functional Programming School | 2009-02-03 | Paper |
| Erasure and Polymorphism in Pure Type Systems Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science | 2007-09-28 | Paper |
| Two-level types and parameterized modules Journal of Functional Programming | 2005-09-27 | Paper |
| scientific article; zbMATH DE number 2036328 (Why is no real title available?) | 2004-02-02 | Paper |
| scientific article; zbMATH DE number 2036336 (Why is no real title available?) | 2004-02-02 | Paper |
| MetaML and multi-stage programming with explicit annotations Theoretical Computer Science | 2000-10-26 | Paper |
| scientific article; zbMATH DE number 1348477 (Why is no real title available?) | 1999-10-10 | Paper |
Research outcomes over time
This page was built for person: Tim Sheard
