Вы здесь

Calcagno C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ ML-Like Inference for Classifiers 2004 Calcagno C., Moggi E., Taha W. Lecture Notes in Computer Science 23.04.2004
СТ Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection 2003 Calcagno C., Taha W., Huang L., Leroy X. Lecture Notes in Computer Science 27.11.2003
СТ On Garbage and Program Logic 2001 Calcagno C., O Hearn P. W. Lecture Notes in Computer Science 05.05.2001
СТ Multi-Stage Imperative Languages: A Conservative Extension Result 2000 Calcagno C., Moggi E. Lecture Notes in Computer Science 24.10.2000