Search - Archive ouverte HAL Access content directly

Filter your results

20 Results
Image document

A New Presentation of the Intersection Type Discipline through Principal Typings of Normal Forms

Emilie Sayag , Michel Mauny
[Research Report] RR-2998, INRIA. 1996
Reports inria-00073698v1
Image document

ocp-memprof: un profileur mémoire pour OCaml

Çagdas Bozman , Grégoire Henry , Mohamed Iguernelala , Fabrice Le Fessant , Michel Mauny
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Conference papers hal-01099134v1
Image document

Typer la dé-sérialisation sans sérialiser les types

Grégoire Henry , Michel Mauny , Emmanuel Chailloux
JFLA06, Jan 2006, Pauillac, France. pp.133-146
Conference papers hal-00145454v1
Image document

Profiling the Memory Usage of OCaml Applications without Changing its Behavior

Çagdas Bozman , Michel Mauny , Fabrice Le Fessant , Thomas Gazagnaire
OCaml Users and Developers Workshop (OCaml), Sep 2013, boston, United States
Conference papers hal-01095305v1
Image document

Learn-OCaml : un assistant à l'enseignement d'OCaml

Cagdas Bozman , Benjamin Canou , Roberto Di Cosmo , Pierrick Couderc , Louis Gesbert , et al.
JFLA 2019 - Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
Conference papers hal-01962838v2
Image document

A Type Inference System Based on Saturation of Subtyping Constraints

Benoît Vaugon , Michel Mauny
Trends in Functional Programming, Jun 2016, College Park (MD), United States
Conference papers hal-01413043v1
Image document

Dynamics in ML

Xavier Leroy , Michel Mauny
FPCA 1991: Functional Programming Languages and Computer Architecture, Aug 1991, Boston, United States. pp.406-426
Conference papers hal-01499984v1

Typage des langages de programmation

Emmanuel Chailloux , Romain Demangeon , Michel Mauny
Techniques de l'ingénieur, ref. article : h3320, Editions T.I., 2018
Book sections hal-03154267v1
Image document

Global Semantic Analysis on OCaml programs

Thomas Blanc , Pierre Chambart , Michel Mauny , Fabrice Le Fessant
OCaml 2015 - The OCaml Users and Developers Workshop, Sep 2015, Vancouver, Canada
Conference papers hal-01413319v1
Image document

Generic Programming in OCAML

Florent Balestrieri , Michel Mauny
2017
Preprints, Working Papers, ... hal-01664286v1
Image document

Nullable Type Inference

Michel Mauny , Benoît Vaugon
OCaml 2014 - The OCaml Users and Developers Workshop, Sep 2014, Gothenbourg, Sweden
Conference papers hal-01413294v1
Image document

Generic Programming in OCaml

Florent Balestrieri , Michel Mauny
OCaml 2016 - The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan
Conference papers hal-01413061v1
Image document

OCamlCC - Traduire OCaml en C en passant par le bytecode

Michel Mauny , Benoît Vaugon
JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Conference papers hal-00779721v1
Image document

Functional programming using CAML

Michel Mauny
[Research Report] RT-0129, INRIA. 1991, pp.119
Reports inria-00070039v1
Image document

Parser in ML

Michel Mauny , Daniel de Rauglaudre
[Research Report] RR-1659, INRIA. 1992
Reports inria-00074898v1
Image document

Dynamics in ML

Xavier Leroy , Michel Mauny
Journal of Functional Programming, 1993, 3 (4), pp.431-463. ⟨10.1017/S0956796800000848⟩
Journal articles istex hal-01499972v1
Image document

Dynamics in ML

Xavier Leroy , Michel Mauny
[Research Report] RR-1491, INRIA. 1991
Reports inria-00075071v1
Image document

An Implementation of Caml-Light with existential types

Michel Mauny , Francois Pottier
[Research Report] RR-2183, INRIA. 1994
Reports inria-00074488v1
Image document

Integrating lazy evaluation in strict ML

Michel Mauny
[Research Report] RT-0137, INRIA. 1992, pp.28
Reports inria-00070031v1
Image document

The CAML reference manual

Pierre Weis , Maria Virginia Aponte , Alain Laville , Michel Mauny , Ascander Suarez
[Research Report] RT-0121, INRIA. 1990, pp.491
Reports inria-00070046v1