Blogs about: Dependent Types

Extrapol and Korset

yoric wrote 3 months ago: A colleague recently pointed me towards Korset, a program developed by Ohad Ben-Cohen and Avishai Wo … more →

Tags : Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Extrapol, Static Analysis, Safety, Security

Extrapol source code available (not)

yoric wrote 3 months ago: A quick note to inform you that the repository for Extrapol is now public. The source code as availa … more →

Tags : Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Extrapol, batteries included, Static Analysis, Safety

Extrapol, part 1: from C to Effects

yoric wrote 4 months ago: Here comes the long-promised description of Extrapol, my main ongoing research project. In a few wo … more →

Tags : Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Java, Extrapol, Static Analysis, Security

Security analysis

yoric wrote 4 months ago: A few weeks ago, I promised I would tell you more about ExtraPol, my current research project. Well, … more →

Tags : Informatique - Computer Science, Sûreté / Security, Recherche / Research, Static Analysis, Security, Open-Source, Programming, security policies, Policies


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

Find other items tagged with “dependent-types”:
Technorati Del.icio.us IceRocket