Mot de passe oublié ?

Blogs sur: Lambda Calculus

Blog vedette

The OPA type system, part 1

Since the initial announcement regarding OPA, we have received a number of questions regarding all the aspects of the language (including, suprisingly, a few demands for answers and documentation). We… plus →

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

The OPA type system, part 1 — 2 comments

yoric a écrit 1 month ago: Since the initial announcement regarding OPA, we have received a number of questions regarding all t … plus →

Mots-clefs : In English | en Anglais, Informatique - Computer Science, OCaml, opa, Recherche / Research, Sûreté / Security, AJAX, C#, duck typing

Extrapol, part 1: from C to Effects

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

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