Continuation-and-environment-passing style translations: a focus on call-by-need

(We don’t consider shallow approximations in this paper since they are a restricted case of growing approximations without resulting in any obvious lower complexity.) It is known

La présente étude concerne l’évaluation de la qualité physico-chimique et organique des eaux souterraines dans le périmètre irrigué. Une campagne d’échantillonnage a

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

In Table 4, the column ‘# of unknown words’ in the test set has to be understood in the unit of processing for each different source language: hyperwords for Arabic, characters

Chapter 4 offers a step-by-step reconstruction of number systems of the proto- languages underlying each of the twelve major NC families, on the basis of the

The hypotheses were that: (a) the gradual introduction to vegetables will increase intake and liking of those vegetables (carrot, green bean, broccoli and spinach); (b) this

given resource, or between two different actors & justify his/her suggestion (type of information used by actors?).  Each arrow/interaction is characterized by an

However, in addition to a “raw” translation from Alloy to Coq, we wanted our tool to provide some support to ease the proof in Coq of the assertions of an Alloy model.. Such a