Blogs sur: Informatique Computer Science

Blog vedette

Last lecture4 comments

yoric wrote 2 months ago: Note: This post is written on the 79th day of strike of Universities. Despite the overwhelming conse … more →

Mots-clefs : Enseignement, In English | en Anglais, OCaml, Réforme des universités, Recherche / Research, SOCIETE, chercheur, chercheurs, Computer Science

OCaml Batteries Included Beta 19 comments

yoric wrote 3 months ago: Note This post is written on the 64th day of University strikes in France. During these 64 days, the … more →

Mots-clefs : batteries included, In English | en Anglais, OCaml, Recherche / Research, Computer Science, functional programming, glandeur, Haskell, jean foutre

On-line interpreter for Batteries6 comments

yoric wrote 3 months ago: Note This entry is written on the 51st day of nationwide strike in French Universities and Research … more →

Mots-clefs : batteries included, Enseignement, In English | en Anglais, OCaml, Recherche / Research, functi, function, Haskell, Programming

Hadopi moins 1 jour

yoric wrote 3 months ago: Pendant la grève de l’enseignement, pendant que la Sorbonne est assiégée protégée de nuit par … more →

Mots-clefs : SOCIETE, En Français | in French, liquidator, DADVSI, Censure, ultra-libéralisme, Gouvernement, Piratage, Informatique

OCaml Batteries Included, alpha 3

yoric wrote 5 months ago: Dear programmers. I am happy to inform you that, despite the in-progress liquidation of French Unive … more →

Mots-clefs : batteries included, In English | en Anglais, OCaml, Recherche / Research

Let's do it with Batteries6 comments

yoric wrote 5 months ago: Or, OCaml is a scripting language, too. Note: These extracts use the latest version of Batteries, cu … more →

Mots-clefs : batteries included, OCaml, Recherche / Research, awk, CAML, camlp4, Computer Science, development, functional programming

OCaml Batteries Included: The Hierarchy, reloaded

yoric wrote 7 months ago: Well, my previous post on the Hierarchy of OCaml Batteries Included certainly triggered reactions. E … more →

Mots-clefs : batteries included, OCaml, Recherche / Research, Feedback, functional programming, Library, modules, ocaml batteries included, Programming

Batteries: reworking the hierarchy (feedback wanted)

yoric wrote 7 months ago: As readers interested in OCaml may know, we’ve been working for several months of OCaml Batter … more →

Mots-clefs : batteries included, In English | en Anglais, OCaml, Recherche / Research, CAML, functional programming, ML, ocaml batteries included, Programming

OCaml Batteries Included: Alpha 2 has landed10 comments

yoric wrote 7 months ago: note: There seems to have been a WordPress bug. For some reason, the extended release notes on OCaml … more →

Mots-clefs : batteries included, Enseignement, In English | en Anglais, OCaml, Recherche / Research, CDK, community ocaml, Computer Science, data structures

A taste of OCaml Batteries Included12 comments

yoric wrote 8 months ago: I don’t know about you, but I have the feeling that many people are interested by OCaml Batter … more →

Mots-clefs : batteries included, Enseignement, In English | en Anglais, OCaml, Recherche / Research

OCaml -- now with on-line help5 comments

yoric wrote 8 months ago: I’m happy to tell you that the on-line help system for the OCaml toplevel has just been commit … more →

Mots-clefs : batteries included, Enseignement, In English | en Anglais, OCaml, Recherche / Research, CAML, Command line, functional programming, Help

A quick update on Batteries

yoric wrote 9 months ago: Just a quick word for people who may be curious about the development of OCaml Batteries Included. W … more →

Mots-clefs : batteries included, In English | en Anglais, OCaml, API, arrays, batteries, Computer Science, development, dictionaires

Firefox, les extensions et la sécurité1 comment

yoric wrote 9 months ago: Il y a environ un an, un de mes collègues travaillait sur un dispositif de communication pour les se … more →

Mots-clefs : En Français | in French, firefox, Recherche / Research, Sûreté / Security, Add-ons, AJAX, applications, cross-site scripting, DADVSI

IFL 2008

yoric wrote 9 months 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 : Recherche / Research, In English | en Anglais, OCaml, black magic, camlp4, Conference, errors, exceptions, functional programming

Internship in Virtual Machine Design

yoric wrote 10 months ago: Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique F … more →

Mots-clefs : 34003, In English | en Anglais, Recherche / Research, OCaml, Research, Programming, Haskell, development, functional programming

Stage M2 Système et Langages de Programmation

yoric wrote 10 months ago: L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laborat … more →

Mots-clefs : 34003, En Français | in French, Recherche / Research, Sûreté / Security, Applications Web, bytecode, Canaux, Candidat !, Certification

OCaml Batteries Included, release 0: Where it should all have begun

yoric wrote 10 months ago: After a few discussions on IRC, by e-mail and on forums, I have come to realize that both the purpos … more →

Mots-clefs : batteries included, In English | en Anglais, OCaml, API, batteries, compiler, Contributing, Debian, Development Kit

Post-doctorate position in Programming Language Design

yoric wrote 10 months ago: Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique F … more →

Mots-clefs : Enseignement, In English | en Anglais, OCaml, Recherche / Research, Sûreté / Security, applications, Certification, compiler, concurrency

Post-doctorat en langages de programmation

yoric wrote 10 months ago: L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laborat … more →

Mots-clefs : En Français | in French, Enseignement, OCaml, Recherche / Research, Sûreté / Security, algèbre réduite, algèbres de processus, analyse statique, Applications Web


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

Rechercher d'autres billets marqués “informatique-computer-science”:
Technorati Del.icio.us IceRocket