Blogs about: Rewriting

Blog vedette

Post-doctorate position in Programming Language Design

Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique Fondamentale d’Orléans) offer a post-doctorate position in the domain of Programming Language De… more →

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

Post-doctorate position in Programming Language Design

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

Tags : Enseignement, Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Static Analysis, Security, Research

Improving exception-management in OCaml — 7 comments

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

Tags : Informatique - Computer Science, Recherche / Research, In English | en Anglais, OCaml, Static Analysis, Programming, camlp4, Java, functional programming

More monad exceptions for OCaml

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

Tags : Informatique - Computer Science, OCaml, Recherche / Research, Benchmark, camlp4, dynamic errors, Error management, errors, exceptions


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

Find other items tagged with “rewriting”:
Technorati Del.icio.us IceRocket