| 2007 |
|---|
| 16 | EE | Matthew Fluet,
Mike Rainey,
John H. Reppy,
Adam Shaw,
Yingqi Xiao:
Manticore: a heterogeneous parallel language.
DAMP 2007: 37-44 |
| 15 | EE | Matthew Fluet,
Nic Ford,
Mike Rainey,
John H. Reppy,
Adam Shaw,
Yingqi Xiao:
Status report: the manticore project.
ML 2007: 15-24 |
| 14 | EE | Amal Ahmed,
Matthew Fluet,
Greg Morrisett:
L3: A Linear Language with Locations.
Fundam. Inform. 77(4): 397-449 (2007) |
| 2006 |
|---|
| 13 | EE | Matthew Fluet,
Greg Morrisett,
Amal J. Ahmed:
Linear Regions Are All You Need.
ESOP 2006: 7-21 |
| 12 | EE | Kevin Donnelly,
Matthew Fluet:
Transactional events.
ICFP 2006: 124-135 |
| 11 | EE | Matthew Fluet,
Riccardo Pucella:
Practical Datatype Specializations with Phantom Types and Recursion Schemes.
Electr. Notes Theor. Comput. Sci. 148(2): 211-237 (2006) |
| 10 | EE | Matthew Fluet,
Greg Morrisett:
Monadic regions.
J. Funct. Program. 16(4-5): 485-545 (2006) |
| 9 | EE | Matthew Fluet,
Riccardo Pucella:
Phantom types and subtyping.
J. Funct. Program. 16(6): 751-791 (2006) |
| 2005 |
|---|
| 8 | EE | Amal J. Ahmed,
Matthew Fluet,
Greg Morrisett:
A step-indexed model of substructural state.
ICFP 2005: 78-91 |
| 7 | EE | Greg Morrisett,
Amal J. Ahmed,
Matthew Fluet:
L3: A Linear Language with Locations.
TLCA 2005: 293-307 |
| 6 | EE | Matthew Fluet,
Riccardo Pucella:
Practical Datatype Specializations with Phantom Types and Recursion Schemes
CoRR abs/cs/0510074: (2005) |
| 2004 |
|---|
| 5 | EE | Matthew Fluet,
J. Gregory Morrisett:
Monadic regions.
ICFP 2004: 103-114 |
| 4 | EE | Matthew Fluet,
Riccardo Pucella:
Phantom Types and Subtyping
CoRR cs.PL/0403034: (2004) |
| 2002 |
|---|
| 3 | | Matthew Fluet,
Riccardo Pucella:
Phantom Types and Subtyping.
IFIP TCS 2002: 448-460 |
| 2001 |
|---|
| 2 | | Matthew Fluet,
Stephen Weeks:
Contification Using Dominators.
ICFP 2001: 2-13 |
| 1 | EE | Arthur T. Benjamin,
Matthew Fluet,
Mark L. Huber:
Optimal Token Allocations in Solitaire Knock 'm Down.
Electr. J. Comb. 8(2): (2001) |
