Share to: share facebook share twitter share wa share telegram print page

Luca Cardelli

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Cardelli.

Luca Cardelli
Biographie
Naissance
Nationalité
Domicile
Formation
Activités
Autres informations
A travaillé pour
Microsoft Research, United Kingdom (d) ( - )
Digital Equipment Corporation ( - )
Université de Pennsylvanie ( - )
Université d'OxfordVoir et modifier les données sur Wikidata
Membre de
Association for Computing Machinery ()
Royal Society ()
Academia Europaea ()
UK Computing Research Committee (d)Voir et modifier les données sur Wikidata
Directeur de thèse
Site web
Distinctions
Liste détaillée
ACM Fellow ()
Prix Dahl-Nygaard ()
Tulip Award in DNA Computing (d) ()
Programming Languages Achievement Award ()Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

Luca Andrea Cardelli (né en 1954[1]) est un chercheur en informatique et ingénieur italien. Il a notamment été directeur adjoint du centre de recherche de Microsoft à Cambridge[2],[3]. Il est surtout connu pour ses recherches sur la théorie des types, la théorie des objets et la sémantique opérationnelle[4],[5]. Il a participé à la conception du langage de programmation Modula-3[6],[7],[8],[9]. Il est membre de la Royal Society.

Biographie

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Prix et distinctions

En 2004, il devient membre d'honneur de l'Association for Computing Machinery. En 2007, Cardelli reçoit le prix AITO Ole-Johan Dahl et Kristen Nygaard[10].

Notes et références

  1. ↑ (en) « Cardelli, Luca », sur viaf.org (consulté le )
  2. ↑ (en) « CARDELLI, Luca » Inscription nécessaire, Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press
  3. ↑ (en) N. Dalchau, A. Phillips, L. D. Goldstein, M. Howarth, L. Cardelli, S. Emmott, T. Elliott et J. M. Werner, « A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization », PLoS Computational Biology, vol. 7, no 10,‎ , e1002144 (PMID 22022238, PMCID 3195949, DOI 10.1371/journal.pcbi.1002144)
  4. ↑ (en) L. Cardelli, « Bad engineering properties of object-orient languages », ACM Computing Surveys, vol. 28, no 4es,‎ , p. 150 (DOI 10.1145/242224.242415, lire en ligne)
  5. ↑ (en) Luca Cardelli et Peter Wegner, « On understanding types, data abstraction, and polymorphism », ACM, New York, NY, USA, vol. 17, no 4,‎ , p. 471–523 (ISSN 0360-0300, DOI 10.1145/6041.6042, lire en ligne)
  6. ↑ (en) Cardelli, Luca et Abadi, Martín, A theory of objects, Berlin, Springer, , 396 p. (ISBN 0-387-94775-2)
  7. ↑ (en) « Liste de publications », sur Microsoft Academic Search (en)
  8. ↑ (en)Publications de Luca Cardelli indexées sur la base de données Scopus d'Elsevier. Inscription nécessaire
  9. ↑ (en) M. Abadi, L. Cardelli, P. L. Curien et J. J. Levy, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages : POPL '90, , 31 p. (ISBN 0-89791-343-4, DOI 10.1145/96709.96712), « Explicit substitutions »
  10. ↑ « The AITO Dahl-Nygaard Prize Winners For 2007 »

Bibliographie

Martin Abadi, Luca Cardelli, A Theory of Objects, Springer, 1996

Liens externes

Read other articles:

Somália nos Jogos Olímpicos de Verão da Juventude de 2010

Somália nos Jogos Olímpicos de Verão da Juventude de 2010 Comitê Olímpico Nacional Código do COI SOM Nome Comitê Olímpico da Somália Site nocsom.so (em inglês) Jogos Olímpicos de Verão da Juventude de 2010 Sede Singapura Competidores 2 em 1 esporte Porta-bandeira Abdulahi Kulow[1] (abertura) Medalhas Pos.n/d 0 0 0 0 Participações nos Jogos Olímpicos Verão 1972 • 1976 • 1980 • 1984 • 1988 • 1992 • 1996 • 2000 • 2004 • 2008 • 2012 • 2016 • 2020 ...

 

 

Classe Skipjack

Questa voce sull'argomento sottomarini è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Questa voce o sezione sull'argomento classi navali non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento. Classe SkipjackDescrizione gen...

 

 

Rita Josefa Pujalte Sánchez

Rita Josefa Pujalte Sánchez Información personalNombre religioso Rita de la Virgen Dolorosa y Rita Dolores del Corazón de Jesús Pujalte Sánchez Nacimiento 18 de febrero de 1853 Aspe (España) Fallecimiento 20 de julio de 1936 (83 años)Canillejas (España) Nacionalidad EspañolaInformación profesionalOcupación Monja Información religiosaFestividad 20 de julio Orden religiosa Hermanas de la Caridad del Sagrado Corazón de Jesús [editar datos en Wikidata] Rita Josefa Pujalte ...

Margarethengroschen

Ernst, Albrecht, Wilhelm III. mit Margaretha (1475–1482), Spitzgroschen 1475, sogenannter Margarethengroschen. Margaretha, Kurfürstin von Sachsen, Tochter des Erzherzogs Ernst I. von Österreich, besaß in Colditz ab 1463 das Münzrecht. (Porträt um 1580 von Antoni Boys gen. Anton Waiss) Die sogenannten Margarethengroschen sind die von 1456 bis 1477 geprägten meißnisch-sächsischen Groschen der Münzstätte Colditz mit einem zusätzlichen M am Anfang oder innerhalb der Umschrift.&#...

 

 

قدماء الفينيتو

قدماء الفينيتومناطق الوجود المميزةبلد الأصل جمهورية البندقيةإيطاليا اللغاتاللغة المستعملة Venetic (en) — الفينيسية المجموعات العرقية المرتبطةفرع من مقيم فِنيتة تعديل - تعديل مصدري - تعديل ويكي بيانات إيطاليا القديمة في العصر الحديدي: يظهر أهل فينيتو في اعلى اليمين باللون ال�...

 

 

إدوارد إي. كرامر

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (مارس 2019) إدوارد إي. كرامر معلومات شخصية الميلاد 20 مارس 1961 (62 سنة)  بروكلين  مواطنة الولايات المتحدة  الحياة العملية المهنة كاتب خيال علمي،  وروائي  تعديل مصد

Liste du patrimoine culturel immatériel de l'humanité en Guinée

Cet article recense les pratiques inscrites au patrimoine culturel immatériel en Guinée. Statistiques La Guinée ratifie la convention pour la sauvegarde du patrimoine culturel immatériel le 20 février 2008[1]. La première pratique protégée est inscrite en 2008[1]. En 2016, la Guinée compte 1 élément inscrit au patrimoine culturel immatériel, sur la liste représentative[1]. Listes Liste représentative L'élément suivant est inscrit sur la liste représentative du patrimoine cult...

 

 

مقارنة وميضية

استخدمت آلة المقارنة الوميضية هذه والتي توجد في مرصد لوويل باكتشاف الكوكب القزم بلوتو. المقارنة الوميضية هو جهاز عرض كان يستخدمه الفلكيّون للعثور على الفروقات بين الصور الفوتوغرافية للسماء التي تلتقط بواسطة مقارب بصرية، فقد كانوا يلتقطون صورتين لنفس الرقعة من السماء بينه

 

 

Zura Begum

Burmese politician In this Burmese name, the given name is Zura Begum. There is no family name. Zurah Begum MPMember of the Union Parliament from Maungdaw-2In office1951–1956 Personal detailsBorn10 April 1919 (1919-04-10)Akyab,ArakanDied1990(1990-00-00) (aged 70–71)Yangon,MyanmarPolitical partyAnti-Fascist People's Freedom LeagueAlma materMedic,BT Zurah Begum (Rohingya), also known as Aye Nyunt, was one of the first two female legislators of the Union of Burma, along with Khin K...

لجنة الأمم المتحدة المتصلة بحقوق الإنسان

لجنة الأمم المتحدة المتصلة بحقوق الإنسانالتاريخالتأسيس 12 أغسطس 1947 الاختفاء 5 مارس 2006 عوضتها مجلس حقوق الإنسان[1] الإطارالاختصار UNCHR (بالإنجليزية)[2] النوع  القائمة ... لجنةمنظمة أسستها الأمم المتحدةلجنة حقوق الإنسانcharter-based human rights body (en) [3]منظمة المقر الرئيسي ج�...

 

 

Orpheum Theatre (Los Angeles)

Theatre in Los Angeles, California, US Orpheum TheatreThe Orpheum Theatre marqueeOrpheum TheatreLocation within the Los Angeles metropolitan areaShow map of the Los Angeles metropolitan areaOrpheum TheatreOrpheum Theatre (California)Show map of CaliforniaOrpheum TheatreOrpheum Theatre (the United States)Show map of the United StatesAddress842 S. BroadwayLos Angeles, CaliforniaUnited StatesOwnerAnjac Fashion Buildings[1]Capacity2,000Current useConcerts, movie premieres, location shoots...

 

 

Lijst van presidenten van Ierland

De huidige president, Michael D. Higgins Zegel van de president van Ierland Presidentiële vlag van Ierland Áras an Uachtaráin (Dublin), de residentie van de president van Ierland Dit is een lijst van presidenten van Ierland. Presidenten van Ierland (1937-heden) Nr. President Ambtstermijn Partij - Presidentiële Commissie 29 december 1937 25 juni 1938 (interim) 1 Douglas Hyde(1860-1949) 25 juni 1938 24 juni 1945 (nominatie van alle partijen) 2 Seán Thomas O'Kelly(1882-1966) 25 juni 1945 24...

Pramoedya Ananta Toer

Indonesian novelist and writer (1925–2006)This article needs additional citations for verification. Relevant discussion may be found on the talk page. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Pramoedya Ananta Toer – news · newspapers · books · scholar · JSTOR (May 2023) (Learn how and when to remove this template message)In this Indonesian name, there is n...

 

 

Krazy Kat filmography

Topsy Turvy (film) redirects here. For the 1999 Mike Leigh film, see Topsy-Turvy. List of released Krazy Kat cartoons Advertisement (1916) After George Herriman conceived the Krazy Kat comic strip in 1913, the title character began appearing in animated shorts three years later. From 1916 to 1940, Krazy Kat was featured in 231 films.[1] The following is a list of the cartoons released theatrically, separated by studio. International Film Service The title card of this 1916 silent shor...

 

 

Su Bingwen

Chinese military leader This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations. (March 2011) (Learn how and when to remove this template message) In this Chinese name, the family name is Su. Su Bingwen Su Bingwen (simplified Chinese: 苏炳文; traditional Chinese: 蘇炳文; pinyin: Sū Bǐngwén) (September 1892 – ...

Takahiro Ōhashi

Japanese shogi player You can help expand this article with text translated from the corresponding article in Japanese. (November 2017) Click [show] for important translation instructions. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into the English Wikipedia. Consider adding a topic to ...

 

 

The Ready-Made Family

Book by Antonia Forest This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: The Ready-Made Family – news · newspapers · books · scholar · JSTOR (August 2016) (Learn how and when to remove this template message) The Ready-Made Family First editionAuthorAntonia ForestCountryUnited KingdomLanguageEnglishSeriesThe Ma...

 

 

FurryMUCK

Text-based virtual world 1990 video gameFurryMUCKDeveloper(s)Project communityEngineTinyMUCKPlatform(s)Platform independentRelease1990Genre(s)Social MUDMode(s)Multiplayer FurryMUCK is one of the oldest and largest non-combat MUD-style games in existence. It was founded in 1990[1] as an online gathering place for furry fans to meet and socialize in a virtual role-playing environment.[2][3] Over time, FurryMUCK has become one of the central focal points for furry fandom,...

Aba (film)

2008 Sri Lankan filmAbaSinhalaඅබා Directed byJackson AnthonyWritten byJackson AnthonyBased onEarly chroniclesProduced byChandrakini CreationsStarringSajitha Anthony Malini Fonseka Ravindra Randeniya Sabeetha PereraCinematographySuminda WeerasingheEdited byRavindra GurugeMusic byNadeeka GurugeDistributed byEAP TheatersRelease date 8 August 2008 (2008-08-08) Running time118 minutesCountrySri LankaLanguageSinhala Aba is a 2008 Sinhalese film directed by Jackson Anthony and c...

 

 

IHCH-7113

Chemical compound IHCH-7113Identifiers IUPAC name (6bR,10aS)-3-methyl-2,3,6b,7,8,9,10,10a-octahydro-1H-pyrido[3',4':4,5]pyrrolo[1,2,3-de]quinoxaline CAS Number313368-85-3 YPubChem CID21302499Chemical and physical dataFormulaC14H19N3Molar mass229.327 g·mol−13D model (JSmol)Interactive image SMILES CN1CCN2[C@H]3CCNC[C@H]3C4=C2C1=CC=C4 InChI InChI=1S/C14H19N3/c1-16-7-8-17-12-5-6-15-9-11(12)10-3-2-4-13(16)14(10)17/h2-4,11-12,15H,5-9H2,1H3/t11-,12-/m0/s1Key:QLGUCSLWLPCOTR-RYUDHWBXSA-N...

 

 

Kembali kehalaman sebelumnya