Polymorphic typed defunctionalization and concretization
F Pottier, N Gauthier - Higher-Order and Symbolic Computation, 2006 - Springer
Defunctionalization is a program transformation that eliminates functions as first-class values.
We show that defunctionalization can be viewed as a type-preserving transformation of an …
We show that defunctionalization can be viewed as a type-preserving transformation of an …
Polymorphic typed defunctionalization
F Pottier, N Gauthier - ACM SIGPLAN Notices, 2004 - dl.acm.org
Defunctionalization is a program transformation that aims to turn a higher-order functional
program into a first-order one, that is, to eliminate the use of functions as first-class values. Its …
program into a first-order one, that is, to eliminate the use of functions as first-class values. Its …
Numbering matters: First-order canonical forms for second-order recursive types
N Gauthier, F Pottier - ACM SIGPLAN Notices, 2004 - dl.acm.org
We study a type system equipped with universal types and equire-cursive types, which we
refer to as F ͘ . We show that type equality may be decided in time O(nlog n), an improvement …
refer to as F ͘ . We show that type equality may be decided in time O(nlog n), an improvement …
Strategies for combining on-line and off-line information in an on-line handwriting recognition system
N Gauthier, T Artières, B Dorizzi… - Proceedings of Sixth …, 2001 - ieeexplore.ieee.org
This paper investigates the cooperation of online and off-line handwriting word recognition
systems. Our goal is to improve a mature online recognition system by, exploiting the …
systems. Our goal is to improve a mature online recognition system by, exploiting the …
A Hidden Markov Models combination framework for handwriting recognition
We propose a general framework to combine multiple sequence classifiers working on
different sequence representations of a given input. This framework, based on Multi-Stream …
different sequence representations of a given input. This framework, based on Multi-Stream …
From types to logical assertions: automatic or assisted proofs of property about functional programs
Y Régis-Gianas - 2007 - inria.hal.science
This work studies two approaches to improve the safety of computer programs using static
analysis. The first one is typing which guarantees that the evaluation of program cannot fail. …
analysis. The first one is typing which guarantees that the evaluation of program cannot fail. …
The thomx ics source
…, A Gamelin, JF Garaut, L Garolfi, P Gauron, F Gauthier… - Physics Open, 2020 - Elsevier
ThomX is a new generation Compact Compton Source. It is currently commissioned by and
at the IJCLab (Laboratoire de physique des 2 infinis - Irène Joliot-Curie (UMR9012)) at Orsay…
at the IJCLab (Laboratoire de physique des 2 infinis - Irène Joliot-Curie (UMR9012)) at Orsay…
First production of X-rays at the ThomX high-intensity Compton source
…, JF Garaut, L Garolfi, P Gauron, F Gauthier… - The European Physical …, 2024 - Springer
With the increase in laser power and finesse of optical cavities over the last decade,
laboratory-size Compton sources are very promising. These sources produce X-rays through …
laboratory-size Compton sources are very promising. These sources produce X-rays through …
Mouvements capillaires durant le séchage d'une pâte granulaire
P Coussot, C Gauthier, D Nadji, JC Borgotti… - Comptes rendus de l' …, 1999 - Elsevier
During the first stage of the slow drying of a liquid within a bead pack, capillary liquid transfers
dominate and are governed by the pore size distribution. Deep layers made of coarse …
dominate and are governed by the pore size distribution. Deep layers made of coarse …
Evaluation of quality of life in complete locked-in syndrome patients
MC Rousseau, S Pietra, M Nadji… - Journal of palliative …, 2013 - liebertpub.com
Background: There are few studies where quality of life (QOL) and contributive factors are
assessed in locked-in syndrome (LIS) patients with complete physical and functional disability …
assessed in locked-in syndrome (LIS) patients with complete physical and functional disability …