СТ |
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 |