nLab Gordon Plotkin

• Publications

• Scottish Wikipedia page

Selected writings

On logical frameworks:

• Robert Harper, Furio Honsell, Gordon Plotkin, A framework for defining logics, J. ACM 40:1 (1993) 143–184 [doi:10.1145/138027.138060]

On higher-order abstract syntax:

• Marcelo Fiore, Gordon Plotkin, Daniele Turi. Abstract syntax and variable binding, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158). IEEE (1999) [doi:10.1109/LICS.1999.782615, pdf, webpage]

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

• Gordon Plotkin, John Power, Section 3 of: Notions of computation determine monads In: M. Nielsen, U. Engberg, (eds.) FOSSACS 2002. LNCS, Lecture Notes in Computer Science 2303 342-356 Springer, (2002) [doi:10.1007/3-540-45931-6_24p]

On effect handling via modules over monads in computer science:

• Gordon D. Plotkin, Matija Pretnar, Handling Algebraic Effects, Logical Methods in Computer Science, 9 4 (2013) lmcs:705 [arXiv:1312.1399, doi:10.2168/LMCS-9(4:23)2013]

category: people