Searching for authors named "Vincent Simonet" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
