THIS IS AN OLD FTP DIRECTORY. PLEASE USE THE FOLLOWING ADDRESS

ftp.ens.fr

CONNECT BY ANONYMOUS FTP AND GO INTO THE FOLLOWING DIRECTORY

/pub/dmi/ens/users/castagna/

THERE YOU WILL FIND THE FOLLOWING FILES



   FILE                       SHORT DESCRIPTION

binary.ps.Z     it contains a survey "On binary methods"

infocompu.dvi   lambda&: a kernel calculus for object oriented programming
                final version  

lfp92.dvi       extended abstract (obsolete: read infocompu !)

covariance.dvi  why covariance vs. contravariance is a false problem
                (TOPLAS) final version

tlca93.dvi      semantics: full paper of CGL93 - final version

tcs95.dvi       How to use of lambda& to type object-oriented languages
                final version   

fsttcs93.dvi    extended abstract of  tcs95.dvi  

dbpl93.dvi      second order (extended abstract) - final version

secondord.dvi   it contains dbpl93.dvi and much more - (FACS) final version

popl94.dvi.Z    variant of F-sub with decidable subtyping - final version

popl94errata.dvi.Z errata of the paper above (published in POPL95)

o2.dvi.Z        how a compiler can guarantee type safety even if the
                language uses a covariant subtyping rule (Tech Rep)

AND SOME MORE