Travelled to:
3 × USA
Collaborated with:
X.Leroy ∅ C.Dubois P.Weis
Talks about:
polymorph (1) properti (1) overload (1) generic (1) applet (1) secur (1) type (1) time (1) safe (1) run (1)
Person: François Rouaix
DBLP: Rouaix:Fran=ccedil=ois
Contributed to:
Wrote 3 papers:
- POPL-1998-LeroyR #security
- Security Properties of Typed Applets (XL, FR), pp. 391–403.
- POPL-1995-DuboisRW #morphism #polymorphism
- Generic Polymorphism (CD, FR, PW), pp. 118–129.
- POPL-1990-Rouaix #runtime
- Safe Run-time Overloading (FR), pp. 355–366.