Gordon Plotkin

Results: 21



#Item
1Refinement 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

Add to Reading List

Source URL: danelahman.github.io

- Date: 2018-03-25 20:15:13
    2An 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

    Add to Reading List

    Source URL: danelahman.github.io

    - Date: 2018-03-25 20:15:13
      3An 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

      Add to Reading List

      Source URL: www.margaretmorgan.com

      Language: English - Date: 2002-02-04 19:21:36
        4Linear 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,

        Add to Reading List

        Source URL: www.pps.univ-paris-diderot.fr

        Language: English - Date: 2013-09-20 10:00:30
          5A 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

          Add to Reading List

          Source URL: users.soe.ucsc.edu

          Language: English - Date: 2010-09-03 23:32:17
            6A 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

            Add to Reading List

            Source URL: www.cl.cam.ac.uk

            Language: English - Date: 2013-04-26 12:49:15
              7BRICS 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

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2004-08-23 08:48:12
              8A Logic for Algebraic Effects Gordon Plotkin ∗ Matija Pretnar †

              A Logic for Algebraic Effects Gordon Plotkin ∗ Matija Pretnar †

              Add to Reading List

              Source URL: matija.pretnar.info

              Language: English - Date: 2014-10-06 03:14:23
                9Abstract 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

                Add to Reading List

                Source URL: theory.stanford.edu

                Language: English - Date: 2004-04-23 19:16:41
                  10Combining 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:

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk

                  Language: English - Date: 2007-05-03 10:47:19