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 - 8 results of 8 for search 'Luca Cardelli', query time: 0.06s Refine Results
  1. 1
    Two-Domain DNA Strand Displacement
    by Luca Cardelli
    Published 2010-06-01
    Get full text
    Article
  2. 2
    An Intuitive Automated Modelling Interface for Systems Biology
    Get full text
    Article
  3. 3
    The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems.
    Get full text
    Article
  4. 4
    Phosphorelays provide tunable signal processing capabilities for the cell.
    Get full text
    Article
  5. 5
    Efficient Switches in Biology and Computer Science.
    Get full text
    Article
  6. 6
    Transcriptional regulation is a major controller of cell cycle transition dynamics.
    Get full text
    Article
  7. 7
    Evolution of opposing regulatory interactions underlies the emergence of eukaryotic cell cycle checkpoints
    Get full text
    Article
  8. 8
    A peptide filtering relation quantifies MHC class I peptide optimization.
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search