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 - 15 results of 15 for search 'Luca Cardelli', query time: 0.07s Refine Results
  1. 1
    Two-Domain DNA Strand Displacement
    by Luca Cardelli
    Published 2010-06-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    An Intuitive Automated Modelling Interface for Systems Biology
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    A Language for Modeling and Optimizing Experimental Biological Protocols
    by Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
    Published 2021-10-01
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Continuous Markovian Logics - Axiomatization and Quantified Metatheory
    by Radu Mardare, Luca Cardelli, Kim G. Larsen
    Published 2012-11-01
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems.
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Biomolecular mechanisms for signal differentiation
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Phosphorelays provide tunable signal processing capabilities for the cell.
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Efficient Switches in Biology and Computer Science.
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Transcriptional regulation is a major controller of cell cycle transition dynamics.
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Evolution of opposing regulatory interactions underlies the emergence of eukaryotic cell cycle checkpoints
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    A peptide filtering relation quantifies MHC class I peptide optimization.
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Transactions on computational systems biology IV /
    by Corrado Priami
    Published 2006
    Other Authors: “…Luca Cardelli…”
    Book
    Save to List
    Saved in:
  13. 13
    ECOOP 2003-Object-Oriented Programming /
    by Cardelli, Luca
    Published 2003
    Book
    Save to List
    Saved in:
  14. 14
    Transactions on Computational Systems Biology IV
    by Priami, Corrado
    Published 2006
    Get full text
    Electronic Book
    Save to List
    Saved in:
  15. 15
    One-dimensional staged self-assembly
    Get full text
    Get full text
    Get full text
    Article http://purl.org/eprint/type/ConferencePaper
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search