Mot de passe oublié ?

Blogs sur: Type System

Blog vedette

IFL 2008

A quick post from IFL 2008 with the slides of the talk I just gave on the error monad in OCaml. Note: I’m surrounded by Haskellites. It’s weird.… la suite →

Il y a du thé renversé au bord de la table

IFL 2008

yoric wrote 1 year ago: A quick post from IFL 2008 with the slides of the talk I just gave on the error monad in OCaml. Note … more →

Mots-clefs : Informatique - Computer Science, Recherche / Research, In English | en Anglais, OCaml, camlp4, Haskell, Java, functional programming, exceptions

More monad exceptions for OCaml

yoric wrote 1 year ago: A new version of the exception monad for OCaml is now available for download. It’s now richer, … more →

Mots-clefs : Informatique - Computer Science, Recherche / Research, OCaml, Research, Programming, camlp4, Haskell, exceptions, Programming languages

Extrapol and Korset

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

Mots-clefs : Extrapol, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, Blackhat, code analysis, complete

Extrapol source code available (not)

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

Mots-clefs : batteries included, Extrapol, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, // AST //, C#

Extrapol, part 1: from C to Effects

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

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

Security analysis

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

Mots-clefs : 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