Blogs sur: Lambda Calculus
Blog vedette
Extrapol, part 1: from C to Effects
Here comes the long-promised description of Extrapol, my main ongoing research project. In a few words, our objective with Extrapol is to fill a hole in the current suite of tools built to ensure the… la suite →
Il y a du thé renversé au bord de la table
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 wo … more →
Have your say. Start a blog.
See our free features →
An 
Brainchild
