ML Family Workshop 2017▼AbstractLibraries are the basic building blocks of any realistic programming project. It is thus of utmost interest for a programmer to build her software on top of bug-free libraries. We present the ongoing VOCAL project, which aims at building a mechanically verified library of general-purpose data structures and algorithms, written in the OCaml language
This thesis describes the construction of an environment to develop certified computer algebra libra...
International audienceThis paper aims to exploit the massive parallelism of Field-Programmable Gate ...
International audienceBulk Synchronous Parallel ML is a high-level language for programming parallel...
ML Family Workshop 2017▼AbstractLibraries are the basic building blocks of any realistic programming...
This paper presents a methodology to get correct-by-construction OCaml programs using the Why3 tool....
International audienceThis paper introduces GOSPEL, a behavioral specification language for OCaml. I...
Abstract Background OCaml is a functional programming language with strong static types, Hindley–Mil...
We present a first version of our Objective Caml compiler, called OCamIL, for .NET. Our goal is to u...
International audienceML modules are offer large-scale notions of composition and modularity. Provid...
My (Johannes Hostert's) Master's thesis, including appendix. The thesis recaps and expands upon our ...
This is source code, the date is the date of the initial check-in in the version control systemPML i...
and vice versa ii Copyright c ○ 2000, 2001 by Didier Rémy. These notes have also been published in L...
This thesis describes the construction of an environment to develop certified computer algebra libra...
International audienceThis paper aims to exploit the massive parallelism of Field-Programmable Gate ...
International audienceBulk Synchronous Parallel ML is a high-level language for programming parallel...
ML Family Workshop 2017▼AbstractLibraries are the basic building blocks of any realistic programming...
This paper presents a methodology to get correct-by-construction OCaml programs using the Why3 tool....
International audienceThis paper introduces GOSPEL, a behavioral specification language for OCaml. I...
Abstract Background OCaml is a functional programming language with strong static types, Hindley–Mil...
We present a first version of our Objective Caml compiler, called OCamIL, for .NET. Our goal is to u...
International audienceML modules are offer large-scale notions of composition and modularity. Provid...
My (Johannes Hostert's) Master's thesis, including appendix. The thesis recaps and expands upon our ...
This is source code, the date is the date of the initial check-in in the version control systemPML i...
and vice versa ii Copyright c ○ 2000, 2001 by Didier Rémy. These notes have also been published in L...
This thesis describes the construction of an environment to develop certified computer algebra libra...
International audienceThis paper aims to exploit the massive parallelism of Field-Programmable Gate ...
International audienceBulk Synchronous Parallel ML is a high-level language for programming parallel...
Add to ORKG