Вы здесь
Damiani F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Decidable Intersection Type System Based on Relevance | 1994 | Damiani F., Giannini P. | Lecture Notes in Computer Science | 05.05.1994 | |||
| СТ | Useless-Code Detection and Elimination for PCF with Algebraic Data Types | 1999 | Damiani F. | Lecture Notes in Computer Science | 21.04.1999 | |||
| СТ | Typing Local Definitions and Conditional Expressions with Rank 2 Intersection | 2000 | Damiani F. | Lecture Notes in Computer Science | 25.04.2000 | |||
| СТ | Fickle: Dynamic Object Re-classification | 2001 | Drossopoulos S., Damiani F., Dezani-Ciancaglini M., Giannini P. | Lecture Notes in Computer Science | 14.07.2001 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Types for Proofs and Programs: Revised Selected Papers/ International Workshop, TYPES 2003. Torino,Haly,April/May 2003 | 2004 | Lecture Notes in Computer Science |
|
03.09.2004 | |||
| СБ | Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014 | 2014 | Lecture Notes in Computer Science |
|
29.08.2014 | |||
| СБ | Coordination Models and Languages: Proc./23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valetta, Malta, June 2021 | 2021 | Lecture Notes in Computer Science |
|
20.08.2021 |