To: seminaire@pauillac.inria.fr From: Didier.Remy@inria.fr Subject: SEM - INRIA : Cristal - 30/09/03 - Paris - FR Vous pouvez maintenant vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/subscribe.html S E M I N A I R E . ___ / _ _ / _ / / / \ / \ / / __| / |___ |_/ |_/ / |__ |_/ |_ ___ . / / ___ __ /_ _ / _/ /| /| _ __ __ _ _ / / / /_ / __| / / |/ | / \ /_ / / \ | / __| |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ I N R I A - Rocquencourt Amphi 2 du Bat 1. Mardi 30 septembre, 10h30 ------------- Mark Shinwell ------------- University of Cambridge ============================================================ Fresh Objective Caml: new directions for the FreshML project ============================================================ I will describe the Fresh Objective Caml system: an extension of O'Caml with easy-to-use language-level support for manipulating syntactic structures of object-languages involving alpha-convertible names and binding operations. I will explain how this system has evolved from previous work at Cambridge by myself, Andrew Pitts, and Jamie Gabbay under the framework of the FreshML research project. Additionally, I will identify the main areas where more work is required on the Fresh O'Caml system and postulate how some of the remaining problems may be tackled. See .