Luca Cardelli

Luca Andrea Cardelli is an Italian computer scientist who is a research professor at the University of Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, in 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#. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Cardelli, Luca', query time: 0.02s Refine Results
  1. 1
    ECOOP 2003 - Object-Oriented Programming 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings /
    Published 2003
    Other Authors: “…Cardelli, Luca…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    A theory of objects
    by Abadi, Martin
    Published 1996
    Other Authors: “…Cardelli, Luca…”
    Book
  3. 3
    DNA Computing and Molecular Programming 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings /
    Published 2011
    Other Authors: “…Cardelli, Luca…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Transactions on Computational Systems Biology IV
    Published 2006
    Other Authors: “…Cardelli, Luca…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Internet Programming Languages ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings /
    Published 1999
    Other Authors: “…Cardelli, Luca…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search