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