inria > sophia
ensmp > cma
Mimosa
Migration and Mobility: Semantics and Applications
-- 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
[Bou08d]Boudol, G. -- Typing safe deallocation -- ESOP'08, Lecture Notes in Computer Science, 2008, pp. 116-130.
[BP08b]Boudol, G. and Petri, G. -- Relaxed memory models: an operational approach -- accepted for publication at POPL'09, 2008.
[Bou08e]Boudol, G. -- On strong normalization and type inference in the intersection type discipline -- Theoretical Computer Science, 398(1), 2008, pp. 63-81.
[Bou06f]Boudol, G. -- On strong normalization and type inference in the intersection type discipline -- invited paper for a special issue of TCS in honor of Mario Coppo, Mariangiola Dezani and Simona Ronchi on the occasion of their 60th birthday, 2006.
[Van06b]Van Bakel, S. -- The heart of intersection type assignment -- RR-5984, INRIA, 2006.
[BZ05b]Boudol, G. and Zimmer, P. -- On type inference in the intersection type discipline -- Electronic Notes in Theoretical Computer Science, 1362005, pp. 23-42.
[ html ]
[Bou04h]Boudol, G. -- Safe recursive boxes -- RR-5115, INRIA, February, 2004.
[ html ]
[BZ04b]Boudol, G. and Zimmer, P. -- On type inference in the intersection type discipline -- ITRS'04 Workshop, 2004.
[ html ]
[Bou04i]Boudol, G. -- The Recursive Record Semantics of Objects Revisited -- Journal of Functional Programming, 142004, pp. 263-315.
[ html ]
[Bou03b]Boudol, G. -- On strong normalization in the intersection type discipline -- TLCA'03, Lecture Notes in Computer Science, 2003, pp. 60-74.
[ html ]
[BZ02b]Boudol, G. and Zimmer, P. -- Recursion in the call-by-value lambda-calculus -- Proceedings of FICS 2002 (Fixed Points in Computer Science), BRICS Notes Series NS-02-2, 2002.
[ http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/papers/fics02.ps ]

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