Matthew T. Fluet
From MaRDI portal
Person:200898
Available identifiers
zbMath Open fluet.matthew-tMaRDI QIDQ200898
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Partial aborts for transactions via first-class continuations | 2017-05-10 | Paper |
| Fairness for Transactional Events | 2016-11-09 | Paper |
| Transactional events | 2015-08-03 | Paper |
| A cost semantics for self-adjusting computation | 2015-07-03 | Paper |
| Compiling self-adjusting programs with continuations | 2015-03-16 | Paper |
| Contification using dominators | 2015-03-09 | Paper |
| Monadic regions | 2015-03-09 | Paper |
| Lazy tree splitting | 2015-03-05 | Paper |
| A step-indexed model of substructural state | 2015-01-06 | Paper |
| Lazy tree splitting | 2012-10-29 | Paper |
| Implicitly threaded parallelism in Manticore | 2011-07-25 | Paper |
| Transactional events | 2008-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3593499 | 2007-07-20 | Paper |
| Programming Languages and Systems | 2007-05-02 | Paper |
| Phantom types and subtyping | 2007-03-08 | Paper |
| Monadic regions | 2006-08-28 | Paper |
| Typed Lambda Calculi and Applications | 2005-11-11 | Paper |
| What's Best? | 2001-11-26 | Paper |
| Optimal token allocation in solitaire knock'm down | 2001-10-16 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Matthew T. Fluet
