Matthew T. Fluet
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 |
|---|---|---|
| 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
