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 …

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 …

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 …

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 …

A Hidden Markov Models combination framework for handwriting recognition

T Artières, N Gauthier, P Gallinari, B Dorizzi - Document Analysis and …, 2003 - Springer
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 …

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. …

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…

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 …

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 …

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 …