Newsgroups: fr.announce.seminaires Distribution: fr To: fr-sem@frmug.org From: Didier.Remy@inria.COUPER-CECI.fr Organization: INRIA-Rocquencourt Subject: SEM - INRIA : Cristal - 23/06/00 - Paris - FR http://pauillac.inria.fr/bin/calendar/Seminaires S E M I N A I R E ____ ____ . / _ _ / ___ __ /_ _ / /| /| _ __ __ _ _ / / \ / \ _ / / / /_ / __| / _ / |/ | / \ /_ / / \ | / __| |___ |_/ |_/ |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ / / I N R I A - Rocquencourt, Salle de conference du Bat 11 Vendredi 23 juin, 10h30 -------------- Dominic Duggan -------------- Stevens Institute ========================================================== Recursive DLLs and Shared Libraries: A Type-Based Approach ========================================================== Component programming frameworks such as Java Beans and COM demonstrate an application for rich type-safe module interconnection languages. They also pose interesting challenges, including the need to support dynamic linking, shared libraries and recursive modules. In this talk I will discuss some work I have been doing in adapting ideas from the ML module system to develop a module language for Java-like core languages. Given sufficient time, I will discuss an application of these ideas in typed module assembly language (TMAL), an extension of typed assembly language with instructions for dynamically manipulating modules.