Blogs sur: In English En Anglais

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, Informatique - Computer Science, 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, Informatique - Computer Science, 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, Informatique - Computer Science, OCaml, Recherche / Research, functi, function, Haskell, Programming

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, Informatique - Computer Science, OCaml, Recherche / Research

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, Informatique - Computer Science, OCaml, Recherche / Research, CAML, functional programming, ML, ocaml batteries included, Programming

OCaml Batteries Included: Alpha 2 has landed10 comments

yoric wrote 8 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, Informatique - Computer Science, 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, Informatique - Computer Science, 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, Informatique - Computer Science, 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, Informatique - Computer Science, OCaml, API, arrays, batteries, Computer Science, development, dictionaires

IFL 2008

yoric wrote 10 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 : Informatique - Computer Science, Recherche / Research, OCaml, camlp4, Haskell, Java, functional programming, exceptions, type system

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 : Informatique - Computer Science, Recherche / Research, 34003, OCaml, Research, Programming, Haskell, development, functional programming

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, Informatique - Computer Science, 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, Informatique - Computer Science, Sûreté / Security, Recherche / Research, OCaml, applications, Certification, compiler, concurrency

What's up with Batteries?7 comments

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

Mots-clefs : batteries included, Informatique - Computer Science, OCaml, Characters, compiler, Compilers, data structures, development, Floats

Mozilla Add-ons Workshop Paris1 comment

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

Mots-clefs : firefox, Informatique - Computer Science, En Français | in French, javascript, Extensions, Programmation, Security, Mozilla, Programming

PhD positions in Formal Program Verification

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

Mots-clefs : Informatique - Computer Science, Recherche / Research, Static Analysis, Research, Computer Science, University, PhD, Position, job offer

Improving exception-management in OCaml7 comments

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

Mots-clefs : Informatique - Computer Science, OCaml, Recherche / Research, Static Analysis, Programming, camlp4, Java, functional programming, Programmation Fonctionnelle

Extrapol and Korset

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

Mots-clefs : Extrapol, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, Static Analysis, Safety, Security, Research

Extrapol source code available (not)

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

Mots-clefs : batteries included, Extrapol, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, // AST //, C#, code analysis


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

Rechercher d'autres billets marqués “in-english-en-anglais”:
Technorati Del.icio.us IceRocket