Research output per year
Research output per year
Search results
-
2009
Predicate transformers for extended probability and non-determinism
Keimel, K. & Plotkin, G., Jun 2009, In: Mathematical Structures in Computer Science. 19, 3, p. 501-539 39 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Handlers of Algebraic Effects
Plotkin, G. & Pretnar, M., 2009, Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Castagna, G. (ed.). Springer, p. 80-94 15 p. (Lecture Notes in Computer Science; vol. 5502).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2008
A Logic for Algebraic Effects
Plotkin, G. & Pretnar, M., 2008, Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on. Institute of Electrical and Electronics Engineers, p. 118-129 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Tensors of Comodels and Models for Operational Semantics
Plotkin, G. & Power, A. J., 2008, In: Electronic Notes in Theoretical Computer Science. 218, p. 295-311 17 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2007
Combining Algebraic Effects with Continuations
Hyland, J. M. E., Levy, P. B., Plotkin, G. & Power, A. J., 2007, In: Theoretical Computer Science. 375, 1-3, p. 20-40 21 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2006
A Domain-Theoretic Banach-Alaoglu Theorem
Plotkin, G., 2006, In: Mathematical Structures in Computer Science. 16, 2, p. 299-311 13 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Combining Effects: Sum and Tensor
Hyland, J. M. E., Plotkin, G. & Power, A. J., 2006, In: Theoretical Computer Science. 357, 1-3, p. 70-99 30 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Some Varieties of Equational Logic (Extended Abstract)
Plotkin, G., 2006, Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Springer, p. 150-156 7 p. (Lecture Notes in Computer Science; vol. 4060).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open AccessFile -
2004
Computational effects and operations: an overview
Plotkin, G. & Power, A. J., 2004, In: Electronic Notes in Theoretical Computer Science. 73, p. 149-163 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile