• Aucun résultat trouvé

Copattern matching and first-class observations in OCaml, with a macro

N/A
N/A
Protected

Academic year: 2021

Partager "Copattern matching and first-class observations in OCaml, with a macro"

Copied!
13
0
0

Texte intégral

Loading

Figure

Figure 1: Syntax for the source language.
Figure 2: Source small-step operational semantics.
Figure 3: Type system for the source language
Figure 5: Target small-step operational semantics.
+3

Références

Documents relatifs

This article is devoted to prove a stability result for two indepen- dent coefficients for a Schr¨ odinger operator in an unbounded strip.. The result is obtained with only

Near the ordering temperature, the spectra from the scattered conversion electrons showed a slightly narrower linewidth than the corresponding transmis- sion spectra. Again

An ‘average’ chip transition is obtained by superimposing every transition of a given type (e.g. rising edge) during a chosen time window called the integration time, in order

Indeed, for smooth surfaces, the probability of colliding with the surface after desorption is too low for recapture to be signi fi cant, while for high degrees of roughness ( i.e.,

Abstract Following the recent detection of the oxygen green line airglow on Mars, we have improved the statistical analysis of the data recorded by the NOMAD/UVIS instrument on

Number of assimilated data in the AROME-WMED model for the real-time version (SOP1) and the first (REANA1) the second (REANA2) reanalysis.. The amount of assimilated data

of a driven field line resonance at the discrete frequency of 1.1 mHz with the resonance near Gillam from CANOPUS data, together with the simultaneous observation of the same

OBSERVATIONS OF FEEDING BEHAVIOUR OF QUILLBACK ROCKFISH (SEBASTES MALIGER ) AROUND SPOT PRAWN (PANDALUS PLATYCEROS ) TRAPS USING AN UNDERWATER CAMERA.. Brett Favaro 1,2,3