Neil Sculthorpe
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 |
|---|---|---|
| Executable component-based semantics Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
| The constrained-monad problem Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Safe functional reactive programming through dependent types Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Work it, wrap it, fix it, fold it Journal of Functional Programming | 2014-08-14 | Paper |
| Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change Higher-Order and Symbolic Computation | 2012-01-13 | Paper |
Research outcomes over time
This page was built for person: Neil Sculthorpe
