Searching for authors named "Vincent Simonet" – sorted by Relevance.
-
An Extension of HM(X) with Bounded Existential and Universal Data-Types
- Simonet # Vincent.Simonet@(email omitted); Abstract We propose a conservative extension of HM(X), a generic
- Cited by 8 (2 self) – Add To MetaCart
-
An extension of HM(X) with first class existential and universal data-types
- An extension of HM(X) with rst class existential and universal data-types Vincent Simonet
- Cited by 2 (0 self) – Add To MetaCart
-
Constraint-Based Type Inference for Guarded Algebraic Data Types
- Constraint-Based Type Inference for Guarded Algebraic Data Types Vincent Simonet # Vincent.Simonet
- Cited by 21 (2 self) – Add To MetaCart
-
Fine-grained Information Flow Analysis for a lambda-calculus with Sum Types
- Simonet INRIA Rocquencourt E-mail: Vincent.Simonet@(email omitted); Abstract This paper presents a new type
- Cited by 6 (0 self) – Add To MetaCart
-
Fine-grained Information Flow Analysis for a (Full version)-calculus with Sum Types
- Simonet INRIA Rocquencourt E-mail: Vincent.Simonet@(email omitted); Abstract This paper presents a new type system
- Add To MetaCart
-
Flow Caml in a Nutshell
- Flow Caml in a Nutshell Vincent Simonet INRIA Rocquencourt Vincent.Simonet@(email omitted); Abstract Flow
- Cited by 29 (0 self) – Add To MetaCart
-
Type Inference with Structural Subtyping: A faithful formalization of an efficient constraint solver
- Vincent Simonet INRIA Rocquencourt Vincent.Simonet@(email omitted); Abstract. We are interested in type
- Cited by 13 (4 self) – Add To MetaCart
-
An Extension of HM(X) with Bounded Existential and Universal Data-Types
- An Extension of HM(X) with Bounded Existential and Universal Data-Types Vincent Simonet # Vincent.Simonet
- Add To MetaCart
-
Information flow inference for ML
- Information Flow Inference for ML Vincent Simonet INRIA Rocquencourt – Projet Cristal MIMOSA
- Cited by 147 (4 self) – Add To MetaCart
-
Fine-grained Information Flow Analysis for a
- Fine-grained Information Flow Analysis for a -calculus with Sum Types Vincent Simonet INRIA
- Add To MetaCart

