At PL Jr., tomorrow, I will be presenting the paper: Type Systems, Luca Cardelli http://lucacardelli.name/papers/typesystems.pdf -------------- next part -------------- HTML attachment scrubbed and removed