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 |
|---|---|---|
| Partial aborts for transactions via first-class continuations Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Fairness for transactional events Implementation and Application of Functional Languages | 2016-11-09 | Paper |
| Transactional events Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
| A cost semantics for self-adjusting computation Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| Compiling self-adjusting programs with continuations Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| Contification using dominators Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Monadic regions Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Lazy tree splitting Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| A step-indexed model of substructural state Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Lazy tree splitting Journal of Functional Programming | 2012-10-29 | Paper |
| Implicitly threaded parallelism in Manticore Journal of Functional Programming | 2011-07-25 | Paper |
| Transactional events Journal of Functional Programming | 2008-12-18 | Paper |
| \(L^3\): a linear language with locations | 2007-07-20 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Phantom types and subtyping Journal of Functional Programming | 2007-03-08 | Paper |
| Monadic regions Journal of Functional Programming | 2006-08-28 | Paper |
| Typed Lambda Calculi and Applications Lecture Notes in Computer Science | 2005-11-11 | Paper |
| What's Best? American Mathematical Monthly | 2001-11-26 | Paper |
| Optimal token allocation in solitaire knock'm down The Electronic Journal of Combinatorics | 2001-10-16 | Paper |
| Optimal token allocation in solitaire knock'm down The Electronic Journal of Combinatorics | 2001-10-16 | Paper |
Research outcomes over time
This page was built for person: Matthew T. Fluet
