Type Systems

(en español)
 

• Advanced Type Systems Project Papers, a list of links to papers.

 
• Luca Cardelli home page, contains a lot of information about his works.

Back to home page