Safe Run-time Overloading. - François Rouaix (POPL, 1990)

A Modular Architecture For Constraint-Based Parsing. - François Barthélemy; François Rouaix (COLING, 1994)

Generic Polymorphism. - Catherine Dubois; François Rouaix; Pierre Weis (POPL, 1995)

A Web Navigator with Applets in Caml. - François Rouaix (Comput. Networks, 1996)

Security Properties of Typed Applets. - Xavier Leroy; François Rouaix (Secure Internet Programming, 1999)