|
СТ |
Typed Intermediate Languages for Shape Analysis |
1997 |
Belle G., Moggi E. |
|
|
|
Lecture Notes in Computer Science |
11.04.1997 |
|
СТ |
Functor Categories and Two-Level Languages |
1998 |
Moggi E. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
|
П |
Constructive Natural Deduction and Its " -set" Interpretation |
1990 |
Longo G., Moggi E. |
Lecture Notes in Artificial Intelligence |
|
LIENS |
|
16.05.1998 |
|
СТ |
An Idealized MetaML: Simpler, and More Expressive |
1999 |
Moggi E., Taha W., Benaissa Z.E. -A., Sheard T. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
Multi-Stage Imperative Languages: A Conservative Extension Result |
2000 |
Calcagno C., Moggi E. |
|
|
|
Lecture Notes in Computer Science |
24.10.2000 |
|
СТ |
Monads and Effects |
2002 |
Benton N., Hughes J., Moggi E. |
|
|
|
Lecture Notes in Computer Science |
26.10.2002 |
|
СТ |
ML-Like Inference for Classifiers |
2004 |
Calcagno C., Moggi E., Taha W. |
|
|
|
Lecture Notes in Computer Science |
23.04.2004 |
