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.
Anchor convention is: local,
distant,
ftp.
[Server root]
[Cristal Home]
[Home]
Report Bug
Original URL of this page:
http://caml.inria.fr/pub/old_caml_site/~rouaix/mmm/papers/index.html
Last modified: Tuesday, December 9, 1997
All documents are under the responsibility of their authors, and do
not necessarily represent the official views of INRIA. The information
is given in good faith, but its accuracy cannot be guaranteed.