mirage

Browsing by Author "Prost, Frederic"

DSpace/Manakin Repository

Browsing by Author "Prost, Frederic"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Prost, Frederic (1997-05)
    (eng) 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 first ...
  • Laboratoire de l'informatique du parallélisme; Prost, Frederic (1999-01)
    (eng) We propose a variant of Girard's System F. The aim of this new system is to provide a common framework for various type based analyses. We modify $F$ by the introduction of two different universes from which types ...
  • Laboratoire de l'informatique du parallélisme; Prost, Frederic (1995-12)
    (eng) Constructive logic can be used to consider program specifications as logical formulas. The advantage of this approach is to generate programs which are certified with respect to some given specifications. The programs ...
Bookmark and Share