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
-
1
-
2
An Intuitive Automated Modelling Interface for Systems Biology
Published 2009-11-01Get full text
Article -
3
A Language for Modeling and Optimizing Experimental Biological Protocols
Published 2021-10-01Get full text
Article -
4
Continuous Markovian Logics - Axiomatization and Quantified Metatheory
Published 2012-11-01Get full text
Article -
5
The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems.
Published 2020-03-01Get full text
Article -
6
Phosphorelays provide tunable signal processing capabilities for the cell.
Published 2013-01-01Get full text
Article -
7
-
8
Transcriptional regulation is a major controller of cell cycle transition dynamics.
Published 2012-01-01Get full text
Article -
9
Evolution of opposing regulatory interactions underlies the emergence of eukaryotic cell cycle checkpoints
Published 2021-05-01Get full text
Article -
10
A peptide filtering relation quantifies MHC class I peptide optimization.
Published 2011-10-01Get full text
Article