Search the dblp DataBase

Publications of Author

1. Tom Hirschowitz, Xavier Leroy
   Mixin Modules in a Call-by-Value Setting. [Citation Graph (0, 0)][DBLP]
   ESOP, 2002, pp:6-20 [Conf]
   
2. Tom Hirschowitz, Xavier Leroy, J. B. Wells
   Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. [Citation Graph (0, 0)][DBLP]
   ESOP, 2004, pp:64-78 [Conf]
   
3. Tom Hirschowitz
   Rigid Mixin Modules. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:214-228 [Conf]
   
4. Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
   Component-Oriented Programming with Sharing: Containment is Not Ownership. [Citation Graph (0, 0)][DBLP]
   GPCE, 2005, pp:389-404 [Conf]
   
5. Tom Hirschowitz, Xavier Leroy, J. B. Wells
   Compilation of extended recursion in call-by-value functional languages. [Citation Graph (0, 0)][DBLP]
   PPDP, 2003, pp:160-171 [Conf]
   
6. Tom Hirschowitz, Xavier Leroy
   Mixin modules in a call-by-value setting. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2005, v:27, n:5, pp:857-881 [Journal]
   
7. 
   Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. [Citation Graph (, )][DBLP]
   
   
8. 
   A Theory for Game Theories. [Citation Graph (, )][DBLP]
   
   
9. 
   Topological Observations on Multiplicative Additive Linear Logic [Citation Graph (, )][DBLP]
   
   
10. 
    Binding bigraphs as symmetric monoidal closed theories [Citation Graph (, )][DBLP]
    
    
11. 
    Graphical Presentations of Symmetric Monoidal Closed Theories [Citation Graph (, )][DBLP]
    
    
12. 
    Compilation of extended recursion in call-by-value functional languages [Citation Graph (, )][DBLP]
    
    
13. 
    Contraction-free proofs and finitary games for Linear Logic [Citation Graph (, )][DBLP]
    
    
14. 
    Variable binding, symmetric monoidal closed theories, and bigraphs [Citation Graph (, )][DBLP]
    
    
15. 
    Encapsulation and Dynamic Modularity in the Pi-Calculus [Citation Graph (, )][DBLP]
    
    
16. 
    Encapsulation and Dynamic Modularity in the pi-calculus. [Citation Graph (, )][DBLP]
    
    
17. 
    Contraction-free Proofs and Finitary Games for Linear Logic. [Citation Graph (, )][DBLP]