Accéder directement au contenu

Emmanuel Hainry

5
Documents
Affiliations actuelles
  • 529408
  • 413289
  • 206040
Identifiants chercheurs

Publications

jean-yves-marion
Image document

A tier-based typed programming language characterizing Feasible Functionals

Emmanuel Hainry , Bruce Kapron , Jean-Yves Marion , Romain Péchoux
LICS '20 - 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.535-549, ⟨10.1145/3373718.3394768⟩
Communication dans un congrès hal-02881308v1
Image document

Tiered complexity at higher order

Emmanuel Hainry , Bruce Kapron , Jean-Yves Marion , Romain Péchoux
DICE-FOPARA 2019 - Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis, Apr 2019, Praha, Czech Republic
Communication dans un congrès hal-02499318v1

Tiered complexity at higher order

Emmanuel Hainry , Bruce Kapron , Jean-Yves Marion , Romain Péchoux
MLA'2019 - Third Workshop on Mathematical Logic and its Applications, Mar 2019, Nancy, France
Communication dans un congrès hal-02499348v1
Image document

Type-based complexity analysis for fork processes

Emmanuel Hainry , Jean-Yves Marion , Romain Péchoux
16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Mar 2013, Rome, Italy. pp.305-320, ⟨10.1007/978-3-642-37075-5_20⟩
Communication dans un congrès hal-00755450v2