Media Summary: As everyone knows, Alonzo Church proposed that the effectively calculable natural number functions are those definable in the ... Robin Milner (1934 - 2010) contributed to many areas of computer science. His LCF system (Logic of Computable Functions) is at ... We formalise the well-known rules of partial differentiation in a version of equational logic with function variables and binding ...
Gordon Plotkin Presentation - Detailed Analysis & Overview
As everyone knows, Alonzo Church proposed that the effectively calculable natural number functions are those definable in the ... Robin Milner (1934 - 2010) contributed to many areas of computer science. His LCF system (Logic of Computable Functions) is at ... We formalise the well-known rules of partial differentiation in a version of equational logic with function variables and binding ... Lovelace Lecture 2019 Languages for learning - Professor Royal Society Milner Award lecture by Professor [LAFI'23] Contextual source code AD transformations for sum types Adam Paszke,
Handling the Selection Monad (Video, PLDI 2025)
![[LFCS30] Gordon Plotkin: LFCS Now and Then](https://i.ytimg.com/vi/1yJU0EsWdl4/mqdefault.jpg)
![[LAFI'23] Contextual source code AD transformations for sum types](https://i.ytimg.com/vi/z01eDYiXIuk/mqdefault.jpg)
![[PLDI'25] Handling the Selection Monad](https://i.ytimg.com/vi/Ut2AGgw5-7M/mqdefault.jpg)