Mixin modules in a call-by-value setting T Hirschowitz, X Leroy European Symposium on Programming, 6-20, 2002 | 91 | 2002 |

Compilation of extended recursion in call-by-value functional languages T Hirschowitz, X Leroy, JB Wells Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 35 | 2003 |

Innocent strategies as presheaves and interactive equivalences for CCS (expanded version) T Hirschowitz, D Pous arXiv preprint arXiv:1109.4356, 2011 | 28 | 2011 |

Cartesian closed 2-categories and permutation equivalence in higher-order rewriting T Hirschowitz arXiv preprint arXiv:1307.6318, 2013 | 27 | 2013 |

Call-by-value mixin modules T Hirschowitz, X Leroy, JB Wells European Symposium on Programming, 64-78, 2004 | 25 | 2004 |

Component-oriented programming with sharing: Containment is not ownership D Hirschkoff, T Hirschowitz, D Pous, A Schmitt, JB Stefani International Conference on Generative Programming and Component Engineering …, 2005 | 21 | 2005 |

Mixin modules in a call-by-value setting T Hirschowitz, X Leroy ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (5), 857-881, 2005 | 20 | 2005 |

An intensionally fully-abstract sheaf model for pi C Eberhart, T Hirschowitz, T Seiller 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) 35 …, 2015 | 17* | 2015 |

Full abstraction for fair testing in CCS (expanded version) T Hirschowitz arXiv preprint arXiv:1409.8056, 2014 | 14 | 2014 |

Full abstraction for fair testing in CCS T Hirschowitz International Conference on Algebra and Coalgebra in Computer Science, 175-190, 2013 | 14 | 2013 |

Modules mixins, modules et récursion étendue en appel par valeur T Hirschowitz Paris 7, 2003 | 10 | 2003 |

A reduction semantics for call-by-value mixin modules T Hirschowitz, X Leroy, JB Wells INRIA, 2002 | 10 | 2002 |

Shapely monads and analytic functors R Garner, T Hirschowitz Journal of Logic and Computation 28 (1), 33-83, 2018 | 9 | 2018 |

What's in a game? A theory of game models C Eberhart, T Hirschowitz Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 7 | 2018 |

Contraction-free proofs and finitary games for linear logic A Hirschowitz, M Hirschowitz, T Hirschowitz Electronic Notes in Theoretical Computer Science 249, 287-305, 2009 | 7 | 2009 |

Compilation of extended recursion in call-by-value functional languages T Hirschowitz, X Leroy, JB Wells Higher-Order and Symbolic Computation 22 (1), 3-66, 2009 | 7 | 2009 |

Compilation of extended recursion in call-by-value functional languages T Hirschowitz, X Leroy, JB Wells Higher-Order and Symbolic Computation 22 (1), 3-66, 2009 | 7 | 2009 |

Modules over monads and operational semantics A Hirschowitz, T Hirschowitz, A Lafont arXiv preprint arXiv:2012.06530, 2020 | 6 | 2020 |

A cellular Howe theorem P Borthelle, T Hirschowitz, A Lafont Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 6 | 2020 |

Wild omega-categories for the homotopy hypothesis in type theory A Hirschowitz, T Hirschowitz, N Tabareau 13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015 | 6 | 2015 |