1.2k citations · 3.5k across the 39 of their papers we have counts for
5 papers · 1 filter
Flexible recovery of uniqueness and immutability (Extended Version)
Paola Giannini, Marco Servetto, Elena Zucca +1
We present an imperative object calculus where types are annotated with qualifiers for aliasing and mutation control. There are two key novelties with respect to similar proposals.…
The progeny of a Cosmic Titan: a massive multi-component proto-supercluster in formation at z=2.45 in VUDS
O. Cucciati, B. C. Lemaux, G. Zamorani +22
[Abridged] We unveil the complex shape of a proto-supercluster at z~2.45 in the COSMOS field using the spectroscopic redshifts of the VIMOS Ultra-Deep Survey (VUDS), complemented b…
The VANDELS ESO public spectroscopic survey: observations and first data release
L. Pentericci, R. J. McLure B. Garilli, O. Cucciati +93
This paper describes the observations and the first data release (DR1) of the ESO public spectroscopic survey "VANDELS, a deep VIMOS survey of the CANDELS CDFS and UDS fields". VAN…
The VANDELS ESO public spectroscopic survey
R. J. McLure, L. Pentericci, A. Cimatti +92
VANDELS is a uniquely-deep spectroscopic survey of high-redshift galaxies with the VIMOS spectrograph on ESO's Very Large Telescope (VLT). The survey has obtained ultra-deep optica…
Tracing sharing in an imperative pure calculus (Extended Version)
Paola Giannini, Tim Richter, Marco Servetto +1
We introduce a type and effect system, for an imperative object calculus, which infers "sharing" possibly introduced by the evaluation of an expression, represented as an equivalen…