Skip to Main content Skip to Navigation

hal-01413043v1  Conference papers
Benoît VaugonMichel Mauny. A Type Inference System Based on Saturation of Subtyping Constraints
Trends in Functional Programming, Jun 2016, College Park (MD), United States
hal-01413319v1  Conference papers
Thomas BlancPierre ChambartMichel MaunyFabrice Le Fessant. Global Semantic Analysis on OCaml programs
OCaml 2015 - The OCaml Users and Developers Workshop, Sep 2015, Vancouver, Canada
hal-01890980v1  Conference papers
Bangalore Ravi KiranLuis RoldãoBeñat IrastorzaRenzo VerasteguiSebastian Süss et al.  Real-time Dynamic Object Detection for Autonomous Driving using Prior 3D-Maps
First International Workshop On Autonomous Navigation in Unconstrained Environments - In Conjunction with ECCV 2018, Sep 2018, Munich, Germany
hal-02864865v1  Conference papers
Pranav AgarwalAlejandro BetancourtVana PanagiotouNatalia Díaz-Rodríguez. Egoshots, an ego-vision life-logging dataset and semantic fidelity metric to evaluate diversity in image captioning models
ICLR 2020 - 8th International Conference on Learning Representations, Apr 2020, Addis Ababa / Virtual, Ethiopia
hal-01433841v2  Book sections
Rita RiedlbeckDaniele Antonio Di PietroAlexandre Ern. Equilibrated stress reconstructions for linear elasticity problems with application to a posteriori error analysis
Clément Cancès; Pascal Omnes. Finite Volumes for Complex Applications VIII – Methods and Theoretical Aspects, 199, pp.293-301, 2017, Springer Proceedings in Mathematics & Statistics, 978-3-319-57397-7. ⟨10.1007/978-3-319-57397-7⟩
hal-01968656v1  Conference papers
Fabian RinconYasuyuki TanakaThomas Watteyne. On the Impact of WiFi on 2.4 GHz Industrial IoT Networks
IEEE ICII 2018 - IEEE International Conference on Industrial Internet, Oct 2018, Bellevue, WA, United States
hal-01413061v1  Conference papers
Florent BalestrieriMichel Mauny. Generic Programming in OCaml
OCaml 2016 - The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan
hal-01413294v1  Conference papers
Michel MaunyBenoît Vaugon. Nullable Type Inference
OCaml 2014 - The OCaml Users and Developers Workshop, Sep 2014, Gothenbourg, Sweden
hal-02266558v1  Conference papers
Jonathan MunozFabian RinconTengfei ChangXavier VilajosanaBrecht Vermeulen et al.  OpenTestBed: Poor Man's IoT Testbed
IEEE INFOCOM - CNERT : Workshop on Computer and Networking Experimental Research using Testbeds, Apr 2019, Paris, France
hal-01768411v4  Journal articles
Mickaël AbbasAlexandre ErnNicolas Pignet. A Hybrid High-Order method for incremental associative plasticity with small deformations
Computer Methods in Applied Mechanics and Engineering, Elsevier, 2019, 346, pp.891-912. ⟨10.1016/j.cma.2018.08.037⟩