
Search the dblp DataBase
Tom Hirschowitz:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Tom Hirschowitz, Xavier Leroy
Mixin Modules in a CallbyValue Setting. [Citation Graph (0, 0)][DBLP] ESOP, 2002, pp:620 [Conf]
 Tom Hirschowitz, Xavier Leroy, J. B. Wells
CallbyValue Mixin Modules: Reduction Semantics, Side Effects, Types. [Citation Graph (0, 0)][DBLP] ESOP, 2004, pp:6478 [Conf]
 Tom Hirschowitz
Rigid Mixin Modules. [Citation Graph (0, 0)][DBLP] FLOPS, 2004, pp:214228 [Conf]
 Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, JeanBernard Stefani
ComponentOriented Programming with Sharing: Containment is Not Ownership. [Citation Graph (0, 0)][DBLP] GPCE, 2005, pp:389404 [Conf]
 Tom Hirschowitz, Xavier Leroy, J. B. Wells
Compilation of extended recursion in callbyvalue functional languages. [Citation Graph (0, 0)][DBLP] PPDP, 2003, pp:160171 [Conf]
 Tom Hirschowitz, Xavier Leroy
Mixin modules in a callbyvalue setting. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2005, v:27, n:5, pp:857881 [Journal]
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. [Citation Graph (, )][DBLP]
A Theory for Game Theories. [Citation Graph (, )][DBLP]
Topological Observations on Multiplicative Additive Linear Logic [Citation Graph (, )][DBLP]
Binding bigraphs as symmetric monoidal closed theories [Citation Graph (, )][DBLP]
Graphical Presentations of Symmetric Monoidal Closed Theories [Citation Graph (, )][DBLP]
Compilation of extended recursion in callbyvalue functional languages [Citation Graph (, )][DBLP]
Contractionfree proofs and finitary games for Linear Logic [Citation Graph (, )][DBLP]
Variable binding, symmetric monoidal closed theories, and bigraphs [Citation Graph (, )][DBLP]
Encapsulation and Dynamic Modularity in the PiCalculus [Citation Graph (, )][DBLP]
Encapsulation and Dynamic Modularity in the picalculus. [Citation Graph (, )][DBLP]
Contractionfree Proofs and Finitary Games for Linear Logic. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.004secs
