Luca Cardelli
Luca Cardelli
Luca Andrea Cardelli (1954 doğumlu) bir İtalyan bilgisayar bilimcisi ve mühendisidir . O bir özellikle müdür yardımcısı oldu , Microsoft araştırma merkezinde yer Cambridge . En çok tip teorisi, nesne teorisi ve işlemsel anlambilim üzerine araştırmalarıyla tanınır . Modula-3 programlama dilinin tasarımına katıldı . O üyesidir Royal Society .
biyografi
Ödüller ve Tanıma
2004 yılında Bilgisayar Makineleri Derneği'nin onursal üyesi oldu . 2007'de Cardelli, AITO Ole-Johan Dahl ve Kristen Nygaard Ödülü'nü aldı .
Notlar ve referanslar
-
(in) " Cardelli, Luca " ile viaf.org (erişilen 2016 Ekim 17 )
-
(içinde) " CARDELLI Luca " , Who's Who 2013, A & C Black, Bloomsbury Publishing Plc'nin bir baskısı, 2013; çevrimiçi edn, Oxford University Press
-
(in) N. Dalchau , A. Phillips , LD Goldstein , Mr. Howarth , L. Cardelli , S. Emmott , T. Elliott ve JM Werner , " A Peptid Filtering Relationship quantified MHC Sınıf I peptid Optimization " , PLoS Computational Biology , cilt 7, n o 10,2011, e1002144 ( PMID 22022238 , PMCID 3195949 , DOI 10.1371 / dergi.pcbi.1002144 )
-
(içinde) L. Cardelli , " Nesne yönelimli dillerin kötü mühendislik özellikleri " , ACM Computing Surveys , Cilt. 28, n o 4es,1996, s. 150 ( DOI 10.1145 / 242224.242415 , çevrimiçi okuyun )
-
(içinde) Luca Cardelli ve Peter Wegner , " türleri, veri soyutlamasını ve polimorfizmi anlıyor " , ACM , New York, NY, USA, cilt. 17, n o 4,Aralık 1985, s. 471–523 ( ISSN 0360-0300 , DOI 10.1145 / 6041.6042 , çevrimiçi okuyun )
-
(içinde) Cardelli, Luca ve Abadi, Martín, Nesnelerin Teorisi , Berlin, Springer,1996, 396 s. ( ISBN 0-387-94775-2 )
-
(in) " Yayınlar Listesi " üzerinde Microsoft Akademik Arama (tr)
-
(tr) Yayınlar Luca Cardelli endeksli veritabanı Scopus of Elsevier .
-
(içinde) Bay Abadi , L. Cardelli , PL Curien ve JJ Levy , 17. ACM Sempozyumu Bildiriler Kitabı SIGPLAN-SIGACT Programlama dillerinin ilkeleri: POPL '90 ,1990, 31 s. ( ISBN 0-89791-343-4 , DOI 10.1145 / 96709.96712 ) , "Açık ikameler"
-
" 2007 için AITO Dahl-Nygaard Ödülü Kazananlar "
bibliyografya
Martin Abadi, Luca Cardelli, Nesnelerin Teorisi , Springer, 1996
Dış bağlantılar