François Rouaix
Xavier Leroy
François Rouaix
Security Properties of Typed Applets.
147-182
1999
conf/ecoopw/1999secure
Secure Internet Programming
db/conf/ecoopw/secure99.html#LeroyR99
https://doi.org/10.1007/3-540-48749-2_7
Xavier Leroy
François Rouaix
Security Properties of Typed Applets.
391-403
1998
conf/popl/1998
POPL
https://doi.org/10.1145/268946.268979
db/conf/popl/popl98.html#LeroyR98
François Rouaix
A Web Navigator with Applets in Caml.
1365-1371
1996
28
Comput. Networks
7-11
db/journals/cn/cn28.html#Rouaix96
https://doi.org/10.1016/0169-7552(96)00032-3
https://www.wikidata.org/entity/Q128030246
Catherine Dubois
François Rouaix
Pierre Weis
Generic Polymorphism.
118-129
1995
conf/popl/1995
POPL
db/conf/popl/popl95.html#DuboisRW95
https://doi.org/10.1145/199448.199473
François Barthélemy
François Rouaix
A Modular Architecture For Constraint-Based Parsing.
454-460
1994
conf/coling/1994
COLING
https://aclanthology.org/C94-1075/
db/conf/coling/coling1994.html#BarthelemyR94
François Rouaix
Safe Run-time Overloading.
355-366
1990
conf/popl/1990
POPL
db/conf/popl/popl90.html#Rouaix90
https://doi.org/10.1145/96709.96746
François Barthélemy
Catherine Dubois
Xavier Leroy
Pierre Weis