MMM Papers

In french

Le navigateur Web mmm: un développement en Caml Light
François Rouaix, INRIA Rocquencourt

Ce papier a été présenté aux Journées du GDR Programmation, Grenoble, 22-24 Novembre 1995. Postscript compressé (50k).

MMM: un navigateur Web en Caml
François Rouaix, INRIA Rocquencourt

Transparents du séminaire LITP (Equipe Programmation), 13 Novembre 1995. Postscript compressé (40k).

In english

A Web navigator with applets in Caml
François Rouaix, INRIA Rocquencourt

Presented at the Fifth WWW Conference, Paris, May 1996.
HTML Version.
Compressed postscript (40k).

Security properties of typed applets
Xavier Leroy and François Rouaix

To appear in POPL'98.
Available in gzipped Postscript (A4 paper), gzipped Postscript (letter) and gzipped DVI.