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
AwardFellow of the Royal Society 1 AwardProgramming Languages Achievement Award 1 AwardTulip Award in DNA Computing 1 Connections
In Field
Source Wikipedia: Luca Cardelli
In the Other Atlases
- Also in Geography Atlas: Italy, nationality there.
Sources
1. Wikidata: Luca Cardelli
- Wikidata Q6695862, class allow-list match (w-wdresolver-0926)
- Wikidata Q6695862 P569 (date of birth)
2. 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
- In Field: Programming Language Theory, Lead paragraph
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.