1![Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for](https://www.pdfsearch.io/img/724bd4d31c8a801345202a651385df2e.jpg) | Add to Reading ListSource URL: danelahman.github.io- Date: 2018-03-25 20:15:13
|
---|
2![An algebraic perspective on behavioral specifications in effectful languages Danel Ahman LFCS, University of Edinburgh PhD work supervised by Gordon Plotkin and Alex Simpson An algebraic perspective on behavioral specifications in effectful languages Danel Ahman LFCS, University of Edinburgh PhD work supervised by Gordon Plotkin and Alex Simpson](https://www.pdfsearch.io/img/3a0efbd43d501decff212d2f0440f37b.jpg) | Add to Reading ListSource URL: danelahman.github.io- Date: 2018-03-25 20:15:13
|
---|
3![An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory Marcelo P. Fiore? and Gordon D. Plotkin?? Department of Computer Science Laboratory for Foundations of Computer Science University of An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory Marcelo P. Fiore? and Gordon D. Plotkin?? Department of Computer Science Laboratory for Foundations of Computer Science University of](https://www.pdfsearch.io/img/349cf069fb603d3858958a84274686a1.jpg) | Add to Reading ListSource URL: www.margaretmorgan.comLanguage: English - Date: 2002-02-04 19:21:36
|
---|
4![Linear Equational Tree Logic Linear Equational Dag Logic An Equational Logic for PROPs Gordon Plotkin Laboratory for the Foundations of Computer Science, School of Informatics, Linear Equational Tree Logic Linear Equational Dag Logic An Equational Logic for PROPs Gordon Plotkin Laboratory for the Foundations of Computer Science, School of Informatics,](https://www.pdfsearch.io/img/d9ede4851d8278c192a207972df006b7.jpg) | Add to Reading ListSource URL: www.pps.univ-paris-diderot.frLanguage: English - Date: 2013-09-20 10:00:30
|
---|
5![A MODEL OF COOPERATIVE THREADS MART´IN ABADI AND GORDON D. PLOTKIN Microsoft Research, Silicon Valley; University of California, Santa Cruz e-mail address: Microsoft Research, Silicon Valley; LFCS, U A MODEL OF COOPERATIVE THREADS MART´IN ABADI AND GORDON D. PLOTKIN Microsoft Research, Silicon Valley; University of California, Santa Cruz e-mail address: Microsoft Research, Silicon Valley; LFCS, U](https://www.pdfsearch.io/img/a7b32f538084dcf5b8260ffb50f44ca0.jpg) | Add to Reading ListSource URL: users.soe.ucsc.eduLanguage: English - Date: 2010-09-03 23:32:17
|
---|
6![A general theory of type-and-effect systems via universal algebra Ohad Kammar Gordon Plotkin A general theory of type-and-effect systems via universal algebra Ohad Kammar Gordon Plotkin](https://www.pdfsearch.io/img/7e2bd07bcbc3b54bd192327b90b8c2b8.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2013-04-26 12:49:15
|
---|
7![BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science](https://www.pdfsearch.io/img/ecf313cc05227aeb44fa889ee45c1f4b.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2004-08-23 08:48:12
|
---|
8![A Logic for Algebraic Effects Gordon Plotkin ∗ Matija Pretnar † A Logic for Algebraic Effects Gordon Plotkin ∗ Matija Pretnar †](https://www.pdfsearch.io/img/53a57f064f4fa702dc2cc054859e3f70.jpg) | Add to Reading ListSource URL: matija.pretnar.infoLanguage: English - Date: 2014-10-06 03:14:23
|
---|
9![Abstract Types Have Existential Type JOHN C. MITCHELL Stanford University AND GORDON D. PLOTKIN Abstract Types Have Existential Type JOHN C. MITCHELL Stanford University AND GORDON D. PLOTKIN](https://www.pdfsearch.io/img/7f02f0d8c25786edfc98304f76869f8b.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2004-04-23 19:16:41
|
---|
10![Combining algebraic effects with continuations Martin Hyland,1 Paul Blain Levy,2 Gordon Plotkin and John Power3,? 1 Department of Mathematics, University of Cambridge, Cambridge CB3 0WB, England. Email: Combining algebraic effects with continuations Martin Hyland,1 Paul Blain Levy,2 Gordon Plotkin and John Power3,? 1 Department of Mathematics, University of Cambridge, Cambridge CB3 0WB, England. Email:](https://www.pdfsearch.io/img/4fc6c86bc6c5de9e21e55816e9287a4e.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2007-05-03 10:47:19
|
---|