Blogs about: S Expressions

Blog vedette

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


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

Find other items tagged with “s-expressions”:
Technorati Del.icio.us IceRocket