Gabriel Scherer
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 |
|---|---|---|
| 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
