nLab Gordon Plotkin

Selected writings

Selected writings

On logical frameworks:

On higher-order abstract syntax:

On monads in computer science, such as the (local) state monad:

On effect handling via modules over monads in computer science:

category: people

Last revised on September 15, 2023 at 12:49:52. See the history of this page for a list of all contributions to it.