Blogs about: Informatique Computer Science

Blog vedette

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

After a few discussions on IRC, by e-mail and on forums, I have come to realize that both the purpose of Batteries Included and what the development of Batteries involved were quite unclear to most pe… more →

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

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

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

Tags : In English | en Anglais, OCaml, batteries included, Open-Source, Programming, functional programming, batteries, objective caml, compiler

Post-doctorate position in Programming Language Design

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

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

Post-doctorat en langages de programmation

yoric wrote 1 day ago: L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe d … more →

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

What's up with Batteries? — 6 comments

yoric wrote 2 days ago: A few days ago, someone asked me whether there was more to OCaml Batteries Included than Lazy Lists … more →

Tags : batteries included, In English | en Anglais, OCaml, Characters, compiler, Compilers, data structures, development, Floats

Mozilla Add-ons Workshop Paris

yoric wrote 2 weeks ago: A Mozilla Workshop will be held in Paris on September 20th 2008. The main topic of this workshop is … more →

Tags : firefox, In English | en Anglais, En Français | in French, javascript, Extensions, Programmation, Security, Mozilla, Programming

PhD positions in Formal Program Verification

yoric wrote 2 weeks ago: A colleague asked me to spread this information. PhD positions in Formal Program Verification are to … more →

Tags : Recherche / Research, In English | en Anglais, Static Analysis, Research, Computer Science, University, PhD, Position, job offer

Improving exception-management in OCaml — 7 comments

yoric wrote 1 month ago: Short version Catch me if you can is a small library for OCaml 3.10. The latest release is version 0 … more →

Tags : Recherche / Research, In English | en Anglais, OCaml, Static Analysis, Programming, camlp4, Java, functional programming, Programmation Fonctionnelle

More monad exceptions for OCaml

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

Tags : Recherche / Research, OCaml, Research, Programming, camlp4, Haskell, exceptions, Programming languages, type system

Extrapol and Korset

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

Tags : Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Extrapol, Static Analysis, Safety, Security, Research

Firefox 3 est sorti

yoric wrote 2 months ago: Le titre de ce billet devrait se suffire. Pour consulter la liste des améliorations récentes ou t … more →

Tags : En Français | in French, firefox

Extrapol source code available (not)

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

Tags : batteries included, Extrapol, In English | en Anglais, OCaml, Recherche / Research, Sûreté / Security, // AST //, C#, code analysis

Extrapol, première partie : de C aux effets

yoric wrote 2 months ago: Après un billet dans la langue de Turing, voici une présentation d’Extrapol en version fran … more →

Tags : En Français | in French, Enseignement, Extrapol, OCaml, Recherche / Research, Sûreté / Security, Administration système, Informatique, Linux

Extrapol, part 1: from C to Effects

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

Tags : Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Java, Extrapol, Static Analysis, Security, SELinux

Quelques mots de programmation paresseuse

yoric wrote 3 months ago: Ces jours-ci, je travaille beaucoup avec et sur OCaml, que ce soit pour le projet ExtraPol (dont je … more →

Tags : Enseignement, En Français | in French, OCaml, Programmation, Open-Source, lazy, Flux, listes paresseuses, Haskell

OCaml Discussions

yoric wrote 7 months ago: La communauté OCaml vient de gagner un lieu de discussion pour les recommandations sur la standardi … more →

Tags : En Français | in French, OCaml, Programming, camlp4, Java, Minutes, developpeurs, concurrency, parallelism

Fête de la Science

yoric wrote 10 months ago: Aujourd’hui, c’est la Fête de la Science. C’est le moment de foncer vers l’ … more →

Tags : Enseignement, Recherche / Research, En Français | in French, Science, Fête de la Science, vulgarisation

keywordmigration wrote 1 year ago: Keyword Migration 1 - La criée / Fish Market - Dieppe En 2007-2008, la criée de Dieppe migrera ve … more →

Tags : Fish / Poissons, Dieppe - Dieppe (France), migrations, Son - Sound, Port - Harbor, keywordmigration, Mer - Sea


Have your say. Start a blog.

See our free features →

Tags connexes
All →

Suivre cette étiquette via RSS

Find other items tagged with “informatique-computer-science”:
Technorati Del.icio.us IceRocket