Eugenio Moggi - Eugenio Moggi
Eugenio Moggi | |
|---|---|
 | |
| Doğum | |
| Milliyet | İtalya |
| gidilen okul | Edinburgh Üniversitesi Pisa Üniversitesi |
| Bilinen | Monad |
| Bilimsel kariyer | |
| Kurumlar | Cenova Üniversitesi |
| Doktora danışmanı | Gordon Plotkin |
Eugenio Moggi bir profesör nın-nin bilgisayar Bilimi -de Cenova Üniversitesi, İtalya.
İlk önce genel kullanımını tanımladı Monadlar programları yapılandırmak.[1]
Biyografi
Akademik nitelikler:
- Doktora bilgisayar biliminde Edinburgh Üniversitesi 1988[2]
- Bilgisayar Bilimlerinde Laurea, Pisa Üniversitesi 1983
- Diploma, Scuola Normale Superiore di Pisa 1983
Referanslar
- ^ Moggi, Eugenio (1991). "Hesaplama Kavramları ve Monadlar" (PDF). Bilgi ve Hesaplama. 93 (1): 55–92. doi:10.1016/0890-5401(91)90052-4.
- ^ Mevcut Edinburgh Araştırma Arşivi.
Dış bağlantılar
- Eugenio Moggi'nin kişisel sayfası -de Cenova Üniversitesi.
- Eugenio Moggi -de DBLP Kaynakça Sunucusu
Yetki kontrolü  |
|---|
| P ≟ NP | Bir ile ilgili bu biyografik makale bilgisayar uzmanı bir Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek. |