Search Results - Cardelli, Luca

Luca Cardelli

Warning: These descriptions may not always be 100% accurate.
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 - 9 results of 9
Refine Results
  1. 1
    Cover Image

    Modula-3 Report Luca Cardelli and Others. by Cardelli, Luca

    Published 1988
    Request ERIC Document
    Microfilm Book

    Save to List
    Saved in:
  2. 2
    Cover Image

    A Theory of Objects / by Martín Abadi, Luca Cardelli. by Abadi, Martín

    Published 1996
    Other Authors: “…Cardelli, Luca…”
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings / Luca Cardelli, ed.

    Published 2003
    Other Authors: “…Cardelli, Luca…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    A theory of objects / Martín Abadi, Luca Cardelli. by Abadi, Martín

    Published 1996
    Other Authors: “…Cardelli, Luca…”
    Book

    Save to List
    Saved in:
  5. 5
    Cover Image

    DNA computing and molecular programming 17th international conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011 : proceedings / Luca Cardelli, William Shih (eds.)

    Published 2011
    Other Authors: “…Cardelli, Luca…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  6. 6
    Cover Image

    Transactions on computational systems biology IV / Corrado Priami, Luca Cardelli, Stephen Emmott (eds.)

    Published 2006
    Other Authors: “…Cardelli, Luca…”
    Publisher description
    Book

    Save to List
    Saved in:
  7. 7
    Cover Image

    Transactions on computational systems biology IV Corrado Priami, Luca Cardelli, Stephen Emmott (eds.)

    Published 2006
    Other Authors: “…Cardelli, Luca…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  8. 8
    Cover Image

    Internet programming languages ICCL '98 workshop, Chicago, IL, USA, May 13, 1998 : proceedings / Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)

    Published 1999
    Other Authors: “…Cardelli, Luca…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  9. 9
    Cover Image

    Internet programming languages : ICCL'98 Workshop, Chicago, IL, USA, May 13, 1998 : proceedings / Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)

    Published 1999
    Other Authors: “…Cardelli, Luca…”
    Conference Proceeding Book

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search