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
912002
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
352003
Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
T Hirschowitz, D Pous
arXiv preprint arXiv:1109.4356, 2011
282011
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
T Hirschowitz
arXiv preprint arXiv:1307.6318, 2013
262013
Call-by-value mixin modules
T Hirschowitz, X Leroy, JB Wells
European Symposium on Programming, 64-78, 2004
252004
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
212005
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
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
16*2015
Full abstraction for fair testing in CCS (expanded version)
T Hirschowitz
arXiv preprint arXiv:1409.8056, 2014
142014
Full abstraction for fair testing in CCS
T Hirschowitz
International Conference on Algebra and Coalgebra in Computer Science, 175-190, 2013
142013
Modules mixins, modules et récursion étendue en appel par valeur
T Hirschowitz
Paris 7, 2003
102003
A reduction semantics for call-by-value mixin modules
T Hirschowitz, X Leroy, JB Wells
INRIA, 2002
102002
Shapely monads and analytic functors
R Garner, T Hirschowitz
Journal of Logic and Computation 28 (1), 33-83, 2018
92018
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
72018
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
72009
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
72009
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
72009
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
62015
A theory for game theories
M Hirschowitz, A Hirschowitz, T Hirschowitz
International Conference on Foundations of Software Technology and …, 2007
62007
Rigid mixin modules
T Hirschowitz
International Symposium on Functional and Logic Programming, 214-228, 2004
62004
The system can't perform the operation now. Try again later.
Articles 1–20