> > MimosaMigration and Mobility: Semantics and Applications

Past members

Softwares

Ambient Programming:
AmbIcobjs	The AmbIcobjs Demo
Functional Programming:
Bigloo	the optimizing Scheme compiler
Hop	a language for programming the Web 2.0
Bugloo	Scheme source level debugger
Flyspell	On-the-fly Emacs spell checker
MlObj	a programming language with generalized recursion and mixins
Skribe	a functional markup programming language
Scm2JS	a compiler from Scheme to JavaScript
TypI	a type inference algorithm for intersection types
Ulm	a Scheme ULM implementation
Reactive Programming:
FunLoft	A functional reactive programming language
FairThreads	a thread-based approach to reactive concurrent programming in Java, C, and Scheme
Icobjs	graphical reactive programming
Junior	a minimal set of Java classes for reactive programming (closely related to SugarCubes)
LOFT	a thread-based language for reactive programming in C (successor of Reactive-C)
LURC	a small lightweight version of ULM in C.
Reactive-C	reactive programming in C
ROS/REJO	a system for programming mobile reactive agents in Java
Simulation in Physics	application of the reactive approach to many-body problems, elastic links, reservoirs...
SugarCubes	a framework for reactive programming in Java