Seguir
Tom Hirschowitz
Tom Hirschowitz
CNRS
Dirección de correo verificada de univ-smb.fr - Página principal
Título
Citado por
Citado por
Año
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
412003
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
T Hirschowitz
Logical Methods in Computer Science 9, 2013
372013
Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
T Hirschowitz, D Pous
arXiv preprint arXiv:1109.4356, 2011
262011
Call-by-value mixin modules: Reduction semantics, side effects, types
T Hirschowitz, X Leroy, JB Wells
European Symposium on Programming, 64-78, 2004
242004
Shapely monads and analytic functors
R Garner, T Hirschowitz
Journal of Logic and Computation 28 (1), 33-83, 2018
212018
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
20*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
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
152020
Full abstraction for fair testing in CCS (expanded version)
T Hirschowitz
Logical Methods in Computer Science 10, 2014
142014
Full abstraction for fair testing in CCS
T Hirschowitz
Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013
132013
Modules over monads and operational semantics (expanded version)
A Hirschowitz, T Hirschowitz, A Lafont
arXiv preprint arXiv:2012.06530, 2020
102020
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
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
92018
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
82009
Familial monads and structural operational semantics
T Hirschowitz
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
72019
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
A categorical framework for congruence of applicative bisimilarity in higher-order languages
T Hirschowitz, A Lafont
Logical Methods in Computer Science 18, 2022
62022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20