Вы здесь

Moggi E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Constructive Natural Deduction and Its " -set" Interpretation 1990 Longo G., Moggi E. Lecture Notes in Artificial Intelligence LIENS 16.05.1998
СТ 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
СТ 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

Редактор: