Mot de passe oublié ?

Blogs sur: In English En Anglais

Blog vedette

It's coming

yoric wrote 3 weeks ago: And it can change the face of the web. Honest.   Stay tuned… … more →

Mots-clefs : Informatique - Computer Science, Recherche / Research, OCaml, opa, Programming, functional programming, Programming languages, Web 2.0, Web

Last lecture4 comments

yoric wrote 7 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 7 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 8 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 9 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 1 year 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 1 year 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 Included13 comments

yoric wrote 1 year 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 1 year 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 1 year ago: Just a quick word for people who may be curious about the development of OCaml Batteries Included. W … more →

Mots-clefs : Informatique - Computer Science, OCaml, batteries included, Programming, Strings, arrays, Haskell, development, functional programming

IFL 2008

yoric wrote 1 year 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 1 year ago: Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique F … more →

Mots-clefs : 34003, Informatique - Computer Science, Recherche / Research, alice, Bachelor's Degree, bytecode, Candidate, Compilation, Computer Science

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

yoric wrote 1 year 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 : Informatique - Computer Science, OCaml, batteries included, Open-Source, Programming, functional programming, batteries, objective caml, compiler

Post-doctorate position in Programming Language Design

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

Mots-clefs : Enseignement, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, applications, Certification, compiler, concurrency

What's up with Batteries?7 comments

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

Mots-clefs : Informatique - Computer Science, OCaml, batteries included, Safety, Programming, Strings, data structures, development, functional programming

Mozilla Add-ons Workshop Paris1 comment

yoric wrote 1 year 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 1 year 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, camlp4, catch, Code Generation, code rewriting, compiler support, Coverage

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, Blackhat, code analysis, complete, Dependent Types


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS