BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Germany
1 × Iceland
1 × Switzerland
1 × United Kingdom
2 × USA
3 × Italy
Collaborated with:
A.Ohori T.Sato S.Nishimura A.Mycroft A.A.d.Amorim M.Gaboardi J.Hsu Ikram Cherigui
Talks about:
semant (4) effect (3) system (2) predic (2) direct (2) comput (2) proof (2) monad (2) logic (2) type (2)

Person: Shin-ya Katsumata

DBLP DBLP: Katsumata:Shin=ya

Contributed to:

POPL 20142014
FOSSACS 20132013
ICALP (2) 20112011
CSL 20082008
ICALP (2) 20082008
ICFP 20062006
CSL 20052005
ICALP 20042004
ESOP 20012001
WCRE 20012001
POPL 20172017

Wrote 11 papers:

POPL-2014-Katsumata #monad #parametricity #semantics
Parametric effect monads and semantics of effect systems (SyK), pp. 633–646.
FoSSaCS-2013-KatsumataS #algebra #monad #simulation
Preorders on Monads and Coalgebraic Simulations (SyK, TS), pp. 145–160.
Relating Computational Effects by ⊤ ⊤-Lifting (SyK), pp. 174–185.
A Characterisation of λ Definability with Sums Via TT-Closure Operators (SyK), pp. 278–292.
ICALP-B-2008-Katsumata #attribute grammar #category theory #semantics
Attribute Grammars and Categorical Semantics (SyK), pp. 271–282.
ICFP-2006-KatsumataN #algebra #parametricity
Algebraic fusion of functions with an accumulating parameter and its improvement (SyK, SN), pp. 227–238.
CSL-2005-Katsumata #logic #metalanguage #semantics
A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage (SyK), pp. 87–102.
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems (SyK), pp. 831–845.
ESOP-2001-KatsumataO #decompiler #low level
Proof-Directed De-compilation of Low-Level Code (SyK, AO), pp. 352–366.
WCRE-2001-MycroftOK #decompiler #type system
Comparing Type-Based and Proof-Directed Decompilation (AM, AO, SyK), pp. 362–367.
POPL-2017-AmorimGHKC #metric #semantics
A semantic account of metric preservation (AAdA, MG, JH, SyK, IC), pp. 545–556.

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.