Filter your results
- 19
- 1
- 10
- 7
- 1
- 1
- 1
- 7
- 20
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 15
- 5
- 7
- 7
- 5
- 1
- 1
- 1
- 1
- 20
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
20 Results
|
|
sorted by
|
|
A New Presentation of the Intersection Type Discipline through Principal Typings of Normal Forms[Research Report] RR-2998, INRIA. 1996
Reports
inria-00073698v1
|
||
|
ocp-memprof: un profileur mémoire pour OCamlVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Conference papers
hal-01099134v1
|
||
|
Typer la dé-sérialisation sans sérialiser les typesJFLA06, Jan 2006, Pauillac, France. pp.133-146
Conference papers
hal-00145454v1
|
||
|
Profiling the Memory Usage of OCaml Applications without Changing its BehaviorOCaml Users and Developers Workshop (OCaml), Sep 2013, boston, United States
Conference papers
hal-01095305v1
|
||
|
Learn-OCaml : un assistant à l'enseignement d'OCamlJFLA 2019 - Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
Conference papers
hal-01962838v2
|
||
|
A Type Inference System Based on Saturation of Subtyping ConstraintsTrends in Functional Programming, Jun 2016, College Park (MD), United States
Conference papers
hal-01413043v1
|
||
|
Dynamics in MLFPCA 1991: Functional Programming Languages and Computer Architecture, Aug 1991, Boston, United States. pp.406-426
Conference papers
hal-01499984v1
|
||
Typage des langages de programmationTechniques de l'ingénieur, ref. article : h3320, Editions T.I., 2018
Book sections
hal-03154267v1
|
|||
|
Global Semantic Analysis on OCaml programsOCaml 2015 - The OCaml Users and Developers Workshop, Sep 2015, Vancouver, Canada
Conference papers
hal-01413319v1
|
||
|
Generic Programming in OCAML2017
Preprints, Working Papers, ...
hal-01664286v1
|
||
|
Nullable Type InferenceOCaml 2014 - The OCaml Users and Developers Workshop, Sep 2014, Gothenbourg, Sweden
Conference papers
hal-01413294v1
|
||
|
Generic Programming in OCamlOCaml 2016 - The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan
Conference papers
hal-01413061v1
|
||
|
OCamlCC - Traduire OCaml en C en passant par le bytecodeJFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Conference papers
hal-00779721v1
|
||
|
Functional programming using CAML[Research Report] RT-0129, INRIA. 1991, pp.119
Reports
inria-00070039v1
|
||
|
Parser in ML[Research Report] RR-1659, INRIA. 1992
Reports
inria-00074898v1
|
||
|
Dynamics in MLJournal of Functional Programming, 1993, 3 (4), pp.431-463. ⟨10.1017/S0956796800000848⟩
Journal articles
istex
hal-01499972v1
|
||
|
Dynamics in ML[Research Report] RR-1491, INRIA. 1991
Reports
inria-00075071v1
|
||
|
An Implementation of Caml-Light with existential types[Research Report] RR-2183, INRIA. 1994
Reports
inria-00074488v1
|
||
|
Integrating lazy evaluation in strict ML[Research Report] RT-0137, INRIA. 1992, pp.28
Reports
inria-00070031v1
|
||
|
The CAML reference manual[Research Report] RT-0121, INRIA. 1990, pp.491
Reports
inria-00070046v1
|