Tom Hirschowitz

	2011
21		Tom Hirschowitz, Damien Pous: Innocent strategies as presheaves and interactive equivalences for CCS ICE 2011: 2-24
20		Tom Hirschowitz, Damien Pous: Strategies as sheaves and interactive equivalences for CCS CoRR abs/1109.4356: (2011)
	2009
19		Tom Hirschowitz: Proceedings Types for Proofs and Programs, Revised Selected Papers TYPES 2009
18		Richard H. G. Garner, Tom Hirschowitz, Aurélien Pardon: Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. CONCUR 2009: 321-337
17		Tom Hirschowitz, Xavier Leroy, J. B. Wells: Compilation of extended recursion in call-by-value functional languages CoRR abs/0902.1257: (2009)
16		André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Contraction-free proofs and finitary games for Linear Logic CoRR abs/0905.4064: (2009)
15		Richard H. G. Garner, Tom Hirschowitz, Aurélien Pardon: Variable binding, symmetric monoidal closed theories, and bigraphs CoRR abs/0905.4200: (2009)
14		Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous: Encapsulation and Dynamic Modularity in the Pi-Calculus CoRR abs/0906.5446: (2009)
13		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)
12		André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Contraction-free Proofs and Finitary Games for Linear Logic. Electr. Notes Theor. Comput. Sci. 249: 287-305 (2009)
11		Tom Hirschowitz, Xavier Leroy, J. B. Wells: Compilation of extended recursion in call-by-value functional languages. Higher-Order and Symbolic Computation 22(1): 3-66 (2009)
	2008
10		André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Topological Observations on Multiplicative Additive Linear Logic CoRR abs/0807.2636: (2008)
9		Tom Hirschowitz, Aurélien Pardon: Binding bigraphs as symmetric monoidal closed theories CoRR abs/0810.4419: (2008)
8		Richard H. G. Garner, Tom Hirschowitz, Aurélien Pardon: Graphical Presentations of Symmetric Monoidal Closed Theories CoRR abs/0810.4420: (2008)
	2007
7		Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz: A Theory for Game Theories. FSTTCS 2007: 192-203
	2005
6		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		Tom Hirschowitz, Xavier Leroy: Mixin modules in a call-by-value setting. ACM Trans. Program. Lang. Syst. 27(5): 857-881 (2005)
	2004
4		Tom Hirschowitz, Xavier Leroy, J. B. Wells: Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. ESOP 2004: 64-78
3		Tom Hirschowitz: Rigid Mixin Modules. FLOPS 2004: 214-228
	2003
2		Tom Hirschowitz, Xavier Leroy, J. B. Wells: Compilation of extended recursion in call-by-value functional languages. PPDP 2003: 160-171
	2002
1		Tom Hirschowitz, Xavier Leroy: Mixin Modules in a Call-by-Value Setting. ESOP 2002: 6-20

Coauthor Index

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

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page