Вы здесь

Damiani F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Decidable Intersection Type System Based on Relevance 1994 Damiani F., Giannini P. Lecture Notes in Computer Science 05.05.1994
СТ Fickle: Dynamic Object Re-classification 2001 Drossopoulos S., Damiani F., Dezani-Ciancaglini M., Giannini P. Lecture Notes in Computer Science 14.07.2001
СТ Typing Local Definitions and Conditional Expressions with Rank 2 Intersection 2000 Damiani F. Lecture Notes in Computer Science 25.04.2000
СТ Useless-Code Detection and Elimination for PCF with Algebraic Data Types 1999 Damiani F. Lecture Notes in Computer Science 21.04.1999