inria > sophia
ensmp > cma
Mimosa
Migration and Mobility: Semantics and Applications
-- Reactive Programming,Functional Programming
Table of Contents
Main page
Team
Scientific foundations
Publications
Research internships
Activity report (2008)

Team members
Roberto AmadioFlorian Loitsch
Gérard BoudolZhengqin Luo
Frédéric BoussinotGustavo Petri
Anais CassinoTamara Rezk
Ilaria CastellaniManuel Serrano

Past members
Lucia AcciaiSophie Honnorat
Raul AcostaMarija Kolundzija
Yannis BresCédric Lhoussaine
Christian BrunetteAna Matos
Damien CiabriniCharles Meyssonnier
Frederic DabrowskiDavide Sangiorgi
Silvano Dal-ZilioJean-Ferdinand Susini
Stéphane EpardaudOlivier Tardieu
Erick GallesioVincent Vanackère
Xudong GuanPascal Zimmer

Projects & Contracts
Alidecs ACI Sécurité Informatique
CRE France-Télécom R&D
geocal Groupe de travail du GDR Informatique Mathématique.
parsec ANR project

Softwares
Ambient Programming:
AmbIcobjsThe AmbIcobjs Demo
Functional Programming:
Bigloothe optimizing Scheme compiler
Hopa language for programming the Web 2.0
BuglooScheme source level debugger
FlyspellOn-the-fly Emacs spell checker
MlObja programming language with generalized recursion and mixins
Skribea functional markup programming language
Scm2JSa compiler from Scheme to JavaScript
TypIa type inference algorithm for intersection types
Ulma Scheme ULM implementation
Reactive Programming:
FunLoftA functional reactive programming language
FairThreadsa thread-based approach to reactive concurrent programming in Java, C, and Scheme
Icobjsgraphical reactive programming
Juniora minimal set of Java classes for reactive programming (closely related to SugarCubes)
LOFTa thread-based language for reactive programming in C (successor of Reactive-C)
LURCa small lightweight version of ULM in C.
Reactive-Creactive programming in C
ROS/REJOa system for programming mobile reactive agents in Java
Simulation in Physicsapplication of the reactive approach to many-body problems, elastic links, reservoirs...
SugarCubesa framework for reactive programming in Java
[Bou07e]Boudol, G. -- Fair cooperative multithreading, or: typing termination in a higher-order concurrent imperative language -- CONCUR'07, Lecture Notes in Computer Science, 2007, pp. 272-286.

This Html page has been produced by Skribe.
Last update Thu Jan 15 11:30:19 2009.