Luca Cardelli and the Early Evolution of ML David MacQueen Abstract Luca Cardelli has made an enormous range of contributions, but the focus of this paper is the beginning of his career and, in particular, his role in th

Source URL: sml-family.org

• Software engineering
• Computing
• Computer programming
• Functional languages
• Procedural programming languages
• Type theory
• Fellows of the Royal Society
• Data types
• ML
• Logic for Computable Functions
• Luca Cardelli
• Robin Milner

Noname manuscript No. (will be inserted by the editor) Chemical Reaction Network Designs for Asynchronous Logic Circuits Luca Cardelli ⋅ Marta Kwiatkowska ⋅ Max Whitby

Source URL: qav.comlab.ox.ac.uk

• Digital electronics
• Electronic engineering
• Electrical engineering
• Logic gates
• Electronics
• Digital systems
• Logic in computer science
• C-element
• Asynchronous circuit
• Chemical reaction network theory
• Flip-flop
• Sequential logic

Noname manuscript No. (will be inserted by the editor) Programming Discrete Distributions with Chemical Reaction Networks Luca Cardelli · Marta Kwiatkowska · Luca Laurenti

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Mathematical analysis
• Poisson distribution
• Distribution
• Markov chain
• Valuation
• Binomial distribution
• Probability distribution
• Random variable

The problem of biology is not to stand aghast at the complexity but to conquer it. Sydney Brenner. Abstract Machines of Systems Biology Luca Cardelli

Source URL: lucacardelli.name

Bio-CONCUR 2004 Preliminary Version A Correct Abstract Machine for the Stochastic Pi-calculus Andrew Phillips 1 Luca Cardelli 2 Microsoft Research

Source URL: lucacardelli.name

Visualization in Process Algebra Models of Biological Systems Luca Cardelli, Microsoft Research Cambridge Corrado Priami, Microsoft Research - University of Trento Centre for Computational and Systems Biology and Univers

Source URL: lucacardelli.name

Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective Luca Cardelli Mirco Tribastone Max Tschaikowski

Source URL: cse.lab.imtlucca.it

Type Systems Luca Cardelli Microsoft Research 1 Introduction The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program. This informal statement motivates th

Source URL: lucacardelli.name

Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective Luca Cardelli Mirco Tribastone Max Tschaikowski

Source URL: dl.dropboxusercontent.com

1 Computing Surveys, Vol 17 n. 4, pp, December 1985 On Understanding Types, Data Abstraction, and Polymorphism Luca Cardelli

Source URL: www.few.vu.nl