Blogs about: Rewriting

Blog vedette

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 OCaml7 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