I heard Luca Cardelli, who's also worked on programming languages and typing systems, give this talk. He gives an overview of the programming language technolog

I heard Luca Cardelli, who's also worked on programming languages and typing systems, give this talk. He gives an overview of the programming language technology to program biological matters. This field has been brewing for a decade or so, but it's now seemingly acquired critical mass. Deeply fascinating.