Tom Hirschowitz Vis

*	2009
16	EE	Richard H. G. Garner, Tom Hirschowitz, Aurélien Pardon: Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. CONCUR 2009: 321-337
15	EE	Tom Hirschowitz, Xavier Leroy, J. B. Wells: Compilation of extended recursion in call-by-value functional languages CoRR abs/0902.1257: (2009)
14	EE	André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Contraction-free proofs and finitary games for Linear Logic CoRR abs/0905.4064: (2009)
13	EE	Richard H. G. Garner, Tom Hirschowitz, Aurélien Pardon: Variable binding, symmetric monoidal closed theories, and bigraphs CoRR abs/0905.4200: (2009)
12	EE	Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous: Encapsulation and Dynamic Modularity in the Pi-Calculus CoRR abs/0906.5446: (2009)
11	EE	Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous: Encapsulation and Dynamic Modularity in the pi-calculus. Electr. Notes Theor. Comput. Sci. 241: 85-100 (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

Coauthor Index

1	Richard H. G. Garner	[8] [13] [16]
2	Daniel Hirschkoff	[6] [11] [12]
3	André Hirschowitz	[7] [10] [14]
4	Michel Hirschowitz	[7] [10] [14]
5	Samuel Hym	[11] [12]
6	Xavier Leroy	[1] [2] [4] [5] [15]
7	Aurélien Pardon	[8] [9] [11] [12] [13] [16]
8	Damien Pous	[6] [11] [12]
9	Alan Schmitt	[6]
10	Jean-Bernard Stefani	[6]
11	J. B. Wells	[2] [4] [15]

Colors in the list of coauthors