In this paper we extend, by allowing rank 2 intersection types, the type assignment system for the detection and elimination of dead code in typed functional programs presented by Coppo et al Giannini and the rst author in the Static Analysis Symposium '96. The main application of this method is the optimization of programs extracted from proofs in logical frameworks, but it could be used as we...

Alors que la convention citoyenne sur fin de vie commence ses travaux, il faut rappeler discussion collective ce qu’est une mort digne ne saurait se passer d’une réflexion le système soins qui rend possible.