| 2009 |
|---|
| 11 | EE | Tom Hirschowitz,
Xavier Leroy,
J. B. Wells:
Compilation of extended recursion in call-by-value functional languages
CoRR abs/0902.1257: (2009) |
| 2008 |
|---|
| 10 | EE | André Hirschowitz,
Michel Hirschowitz,
Tom Hirschowitz:
Topological Observations on Multiplicative Additive Linear Logic
CoRR abs/0807.2636: (2008) |
| 9 | EE | Tom Hirschowitz,
Aurélien Pardon:
Binding bigraphs as symmetric monoidal closed theories
CoRR abs/0810.4419: (2008) |
| 8 | EE | Richard H. G. Garner,
Tom Hirschowitz,
Aurélien Pardon:
Graphical Presentations of Symmetric Monoidal Closed Theories
CoRR abs/0810.4420: (2008) |
| 2007 |
|---|
| 7 | EE | Michel Hirschowitz,
André Hirschowitz,
Tom Hirschowitz:
A Theory for Game Theories.
FSTTCS 2007: 192-203 |
| 2005 |
|---|
| 6 | EE | Daniel Hirschkoff,
Tom Hirschowitz,
Damien Pous,
Alan Schmitt,
Jean-Bernard Stefani:
Component-Oriented Programming with Sharing: Containment is Not Ownership.
GPCE 2005: 389-404 |
| 5 | EE | Tom Hirschowitz,
Xavier Leroy:
Mixin modules in a call-by-value setting.
ACM Trans. Program. Lang. Syst. 27(5): 857-881 (2005) |
| 2004 |
|---|
| 4 | EE | Tom Hirschowitz,
Xavier Leroy,
J. B. Wells:
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types.
ESOP 2004: 64-78 |
| 3 | EE | Tom Hirschowitz:
Rigid Mixin Modules.
FLOPS 2004: 214-228 |
| 2003 |
|---|
| 2 | EE | Tom Hirschowitz,
Xavier Leroy,
J. B. Wells:
Compilation of extended recursion in call-by-value functional languages.
PPDP 2003: 160-171 |
| 2002 |
|---|
| 1 | EE | Tom Hirschowitz,
Xavier Leroy:
Mixin Modules in a Call-by-Value Setting.
ESOP 2002: 6-20 |
