The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tom Hirschowitz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002