Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

20 résultats
Page :
triés par
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
Communication dans un congrès hal-01095305v1
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
Communication dans un congrès hal-00145454v1
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
Rapport 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
Communication dans un congrès hal-01099134v1
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
Communication dans un congrès hal-01413319v1

Typage des langages de programmation

 Emmanuel Chailloux , Romain Demangeon , Michel Mauny
Techniques de l'ingénieur, ref. article : h3320, Editions T.I., 2018
Chapitre d'ouvrage hal-03154267v1
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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès hal-01499984v1
Image document

Dynamics in ML

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

An Implementation of Caml-Light with existential types

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

Integrating lazy evaluation in strict ML

 Michel Mauny
[Research Report] RT-0137, INRIA. 1992, pp.28
Rapport 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
Rapport inria-00070046v1
Image document

Generic Programming in OCAML

 Florent Balestrieri , Michel Mauny
2017
Pré-publication, Document de travail hal-01664286v1
Image document

Nullable Type Inference

 Michel Mauny , Benoît Vaugon
OCaml 2014 - The OCaml Users and Developers Workshop, Sep 2014, Gothenbourg, Sweden
Communication dans un congrès hal-01413294v1
Image document

Generic Programming in OCaml

 Florent Balestrieri , Michel Mauny
OCaml 2016 - The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan
Communication dans un congrès 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
Communication dans un congrès hal-00779721v1
Image document

Functional programming using CAML

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

Parser in ML

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

Dynamics in ML

 Xavier Leroy , Michel Mauny
Journal of Functional Programming, 1993, 3 (4), pp.431-463. ⟨10.1017/S0956796800000848⟩
Article dans une revue istex hal-01499972v1
Page :