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 |
|---|---|---|
| FabULous interoperability for ML and a linear language (available as arXiv preprint) | 2018-07-17 | Paper |
| Polarised intermediate representation of lambda calculus with sums 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Deciding equivalence with sums and the empty type Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Multi-focusing on extensional rewriting with sums | 2017-07-12 | Paper |
| Which simple types have a unique inhabitant? Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Full Reduction in the Face of Absurdity Programming Languages and Systems | 2016-04-26 | Paper |
| Tracking data-flow with open closure types Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| GADTs Meet Subtyping Programming Languages and Systems | 2013-08-05 | Paper |
| On irrelevance and algorithmic equality in predicative type theory Logical Methods in Computer Science | 2012-04-03 | Paper |
| Least squares scattered data fitting by truncated SVDs Applied Numerical Mathematics | 2002-03-13 | Paper |
Research outcomes over time
This page was built for person: Gabriel Scherer
