Conal M. Elliott
From MaRDI portal
Person:2936815
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 |
|---|---|---|
| Higher-order unification with dependent function types Rewriting Techniques and Applications | 2022-12-09 | Paper |
| Functional reactive animation Proceedings of the second ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
| Beautiful differentiation Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Tangible functional programming Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| scientific article; zbMATH DE number 2080282 (Why is no real title available?) | 2004-08-04 | Paper |
| Compiling embedded languages Journal of Functional Programming | 2003-09-22 | Paper |
Research outcomes over time
This page was built for person: Conal M. Elliott
