BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Denmark
1 × Germany
1 × Italy
1 × Japan
1 × Norway
1 × Poland
1 × Switzerland
1 × USA
2 × France
3 × Spain
Collaborated with:
G.D.Plotkin ∅ K.Tourlas E.Robinson E.Komendantskaya M.Tanaka M.Hyland Y.Kinoshita H.Thielecke G.Rosolini C.Hermida M.Makkai D.Sannella R.D.Tennent P.Johnstone T.Tsujishita H.Watanabe J.Worrell
Talks about:
logic (4) abstract (3) effect (3) comput (3) relat (3) data (3) coalgebra (2) structur (2) categori (2) program (2)

Person: John Power

DBLP DBLP: Power:John

Contributed to:

CSL 20112011
TLCA 20052005
FoSSaCS 20042004
FoSSaCS 20032003
TLCA 20032003
FoSSaCS 20022002
CSL 20012001
FoSSaCS 20012001
CSL 20002000
ICALP 20002000
PPDP 20002000
CSL 19991999
ICALP 19991999
ICALP 19981998
LICS 19981998

Wrote 17 papers:

CSL-2011-KomendantskayaP #algebra #logic programming
Coalgebraic Derivations in Logic Programming (EK, JP), pp. 352–366.
TLCA-2005-PowerT
Binding Signatures for Generic Contexts (JP, MT), pp. 308–323.
FoSSaCS-2004-Power #canonical #modelling
Canonical Models for Computational Effects (JP), pp. 438–452.
FoSSaCS-2003-PowerT #abstraction #reasoning
Abstraction in Reasoning about Higraph-Based Systems (JP, KT), pp. 392–408.
TLCA-2003-Power #higher-order
A Universal Embedding for the Higher Order Structure of Computational Effects (JP), pp. 301–315.
FoSSaCS-2002-PlotkinP #monad
Notions of Computation Determine Monads (GDP, JP), pp. 342–356.
CSL-2001-PowerT #algebra
An Algebraic Foundation for Higraphs (JP, KT), pp. 145–159.
FoSSaCS-2001-PlotkinP #algebra
Adequacy for Algebraic Effects (GDP, JP), pp. 1–24.
CSL-2000-PowerR #abstraction #logic
Logical Relations and Data Abstraction (JP, ER), pp. 497–511.
ICALP-2000-PlotkinPST #logic
Lax Logical Relations (GDP, JP, DS, RDT), pp. 85–102.
PPDP-2000-HylandP #sketching #symmetry
Symmetric monoidal sketches (MH, JP), pp. 280–288.
PPDP-2000-PowerR #abstraction #logic
Logical relations, data abstraction, and structured fibrations (JP, ER), pp. 15–23.
CSL-1999-KinoshitaP #call-by #programming language
Data-Refinement for Call-By-Value Programming Languages (YK, JP), pp. 562–576.
ICALP-1999-PowerT
Closed Freyd- and κ-categories (JP, HT), pp. 625–634.
ICALP-1998-PowerR #approach #composition #semantics
A Modular Approach to Denotational Semantics (JP, GR), pp. 351–362.
LICS-1998-HermidaMP #higher-order #multi
Higher Dimensional Multigraphs (CH, MM, JP), pp. 199–206.
LICS-1998-JohnstonePTWW #algebra #axiom #category theory
An Axiomatics for Categories of Transition Systems as Coalgebras (PJ, JP, TT, HW, JW), pp. 207–213.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.