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.
[an error occurred while processing this directive]