Luca Andrea Cardelli is an Italian computer scientist and research professor at the University of Oxford. He is well known for his research in type theory and operational semantics; among his other contributions to programming languages, he helped design the language Modula-3, implemented the first compiler for the non-pure functional language ML, defined the concept of typeful programming, and helped develop the experimental language Polyphonic C#.
Facts
In the Other Atlases
- Also in Geography Atlas: Italy, nationality there.
Sources
1. Luca Cardelli (Wikidata)
P569 (date of birth): year 1954
1954
Wikidata P166: Fellow of the Royal Society
Wikidata P166 (award received): Fellow of the Royal Society.
Wikidata P166: ACM Fellow
Wikidata P166 (award received): ACM Fellow.
Wikidata P166: Programming Languages Achievement Award
Wikidata P166 (award received): Programming Languages Achievement Award.
Wikidata P166: Tulip Award in DNA Computing
Wikidata P166 (award received): Tulip Award in DNA Computing.
Wikidata P166: Dahl-Nygaard Prize
Wikidata P166 (award received): Dahl-Nygaard Prize.
View the Source2. Wikipedia: Luca Cardelli
Wikimedia FoundationLead section
Luca Andrea Cardelli is an Italian computer scientist who is a research professor at the University of Oxford, UK.
Infobox birth_name field
birth_name = Luca Andrea Cardelli
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.