cardelli

The thing is - you're essentially distinguishing Guy Steele and Guido van Rossum from Andrew Appel and Luca Cardelli by success.

The first ML implementation by Luca Cardelli was done at the same time as K&R C was fully implemented.

Abadi and Cardelli lay out an object oriented calculus with object literals and structural object types.

Anyone interested in programming languages should read some Cardelli and try to attend.

Luca Cardelli wrote a rather good paper on typechecking in Modula-2[1].

Luca Cardelli worked on this stuff a while back [1].

I enjoyed some papers of Luca cardelli (when I remember the name correctly).

Yeah...pretty much anything mentioning Cardelli needs an upvote.

The research hypothesis is that the programming languages Cardelli develops do a reasonable job, and there are examples where they have delivered better predictions than differential equation based approaches.

As far as the latter is concerned (programming language type systems), as an engineer, I’ve seen nothing in mainstream programming languages that advances the state-of-the-art compared to what was known back in the 1980s - when Hindley-Milner became mainstream and Luca Cardelli wrote the seminal survey papers on the subject.

Would you then add Luca Cardelli, Benjamin Pierce, and Phillip Wadler to your "system software designers" category?

Read Luca Cardelli's "Typeful Programming"[1] to get an overview of what typed programming is all about, and see for yourself how brain-dead C and C++ are in comparison.

Steele and van Rossum created languages used by lots of people, and so they're "system software designers", while Appel and Cardelli created languages used by small communities, and so they're "programming language researchers".

I remember a Luca Cardelli paper that explores a language with "type:type" and it contains a sentence roughly expressing: "even if the type system is not satisfying as a logic, it offers interesting possibilities for programming"

Cardelli and the rest did a masterful job with Modula-3, and it's a really nice systems language.

Written by Luca Cardelli, a type fellow, it really helped me to understand type inference.

Cardelli and Wegner distinguish such languages by calling them object-based rather than object-oriented.