Rechercher

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 12 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00310317v1 Article dans une revue Tom Hirschowitz, Xavier Leroy. Mixin modules in a call-by-value setting ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2005, 27 (5), pp.857 - 881. <10.1145/1086642.1086644>
	hal-00555144v3 Article dans une revue Tom Hirschowitz, Damien Pous. Innocent strategies as presheaves and interactive equivalences for CCS (expanded version) Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2012, 22 (1), pp.147-199. <10.7561/SACS.2012.1.147>
	hal-00310119v1 Communication dans un congrès Tom Hirschowitz, Xavier Leroy. Mixin modules in a call-by-value setting European Symposium on Programming, 2002, Grenoble, France. Springer, 2305, pp.207-236, 2002, Lecture Notes in Computer Science. <10.1007/3-540-45927-8>
	hal-00310123v1 Communication dans un congrès Tom Hirschowitz, Xavier Leroy, J. B. Wells. Call-by-value mixin modules: Reduction semantics, side effects, types European Symposium on Programming, 2004, Barcelona, Spain. Springer, 2986, pp.64-78, 2004, Lecture Notes in Computer Science. <10.1007/b96702>
	hal-00310126v1 Communication dans un congrès Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani. Component-Oriented Programming with Sharing: Containment is not Ownership Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. Springer, 3676, pp.389-404, 2005, Lecture Notes in Computer Science. <10.1007/11561347_26>
	hal-00616648v1 Communication dans un congrès Tom Hirschowitz, Damien Pous. Innocent strategies as presheaves and interactive equivalences for CCS ICE, Jun 2011, Reykjavik, Iceland. 59, pp.2-24, 2011, EPTCS. <10.4204/EPTCS.59.2>
	hal-01178301v1 Article dans une revue André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau. Wild omega-Categories for the Homotopy Hypothesis in Type Theory Leibniz International Proceedings in Informatics (LIPIcs), 2015, Typed Lambda Calculi and Applications, 38, pp.226-240. <10.4230/LIPIcs.TLCA.2015.226>
	hal-00388100v1 Communication dans un congrès Richard Garner, Tom Hirschowitz, Aurélien Pardon. Variable binding, symmetric monoidal closed theories, and bigraphs Bravetti, Mario; Zavattaro, Gianluigi. CONCUR 2009, 2009, Bologna, Italy. Springer, 5710, pp.321-337, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-04081-8_22>
	hal-00333750v2 Pré-publication, Document de travail Richard Garner, Tom Hirschowitz, Aurélien Pardon. Graphical Presentations of Symmetric Monoidal Closed Theories Uses Paul Taylor's diagrams. 2008
	hal-00333753v2 Pré-publication, Document de travail Tom Hirschowitz, Aurélien Pardon. Binding bigraphs as symmetric monoidal closed theories 17 pages, uses Paul Taylor's diagrams. 2008
	hal-00359213v1 Article dans une revue Tom Hirschowitz, Xavier Leroy, J. B. Wells. Compilation of extended recursion in call-by-value functional languages Higher-Order and Symbolic Computation, Springer Verlag, 2009, 22 (1), pp.3-66. <10.1007/s10990-009-9042-z>
	hal-00400159v1 Communication dans un congrès Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous. Encapsulation and Dynamic Modularity in the Pi-Calculus PLACES 2008, 2008, Oslo, Norway. Elsevier, 241, pp.85 - 100, 2009, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2009.06.005>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 12 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM