Follow
Tom Hirschowitz
Tom Hirschowitz
CNRS
Verified email at univ-smb.fr - Homepage
Title
Cited by
Cited by
Year
Mixin modules in a call-by-value setting
T Hirschowitz, X Leroy
European Symposium on Programming, 6-20, 2002
902002
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
432003
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
T Hirschowitz
Logical Methods in Computer Science 9, 2013
402013
Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
T Hirschowitz, D Pous
arXiv preprint arXiv:1109.4356, 2011
272011
Call-by-value mixin modules: Reduction semantics, side effects, types
T Hirschowitz, X Leroy, JB Wells
European Symposium on Programming, 64-78, 2004
242004
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
21*2015
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
202005
Shapely monads and analytic functors
R Garner, T Hirschowitz
Journal of Logic and Computation 28 (1), 33-83, 2018
192018
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
192005
A cellular Howe theorem
P Borthelle, T Hirschowitz, A Lafont
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
182020
Full abstraction for fair testing in CCS (expanded version)
T Hirschowitz
Logical Methods in Computer Science 10, 2014
142014
Modules over monads and operational semantics (expanded version)
A Hirschowitz, T Hirschowitz, A Lafont
arXiv preprint arXiv:2012.06530, 2020
132020
Full abstraction for fair testing in CCS
T Hirschowitz
Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013
132013
Modules mixins, modules et récursion étendue en appel par valeur
T Hirschowitz
Paris 7, 2003
112003
A reduction semantics for call-by-value mixin modules
T Hirschowitz, X Leroy, JB Wells
INRIA, 2002
112002
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
102018
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
92009
A categorical framework for congruence of applicative bisimilarity in higher-order languages
T Hirschowitz, A Lafont
Logical Methods in Computer Science 18, 2022
82022
Variable binding and substitution for (nameless) dummies
A Hirschowitz, T Hirschowitz, A Lafont, M Maggesi
International Conference on Foundations of Software Science and Computation …, 2022
82022
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
72015
The system can't perform the operation now. Try again later.
Articles 1–20