 | 2008 |
|---|
| 10 |       | Shin-ya Katsumata:
A Characterisation of Lambda Definability with Sums Via TT-Closure Operators.
CSL 2008: 278-292 |
| 9 | | Shin-ya Katsumata:
Attribute Grammars and Categorical Semantics.
ICALP (2) 2008: 271-282 |
| 8 | | Shin-ya Katsumata,
Susumu Nishimura:
Algebraic fusion of functions with an accumulating parameter and its improvement.
J. Funct. Program. 18(5-6): 781-819 (2008) |
| 2006 |
|---|
| 7 | | Shin-ya Katsumata,
Susumu Nishimura:
Algebraic fusion of functions with an accumulating parameter and its improvement.
ICFP 2006: 227-238 |
| 2005 |
|---|
| 6 | | Shin-ya Katsumata:
A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage.
CSL 2005: 87-102 |
| 2004 |
|---|
| 5 | | Shin-ya Katsumata:
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems.
ICALP 2004: 831-845 |
| 2003 |
|---|
| 4 | | Jo Erskine Hannay,
Shin-ya Katsumata,
Donald Sannella:
Semantic and Syntactic Approaches to Simulation Relations.
MFCS 2003: 68-91 |
| 2002 |
|---|
| 3 | | Shin-ya Katsumata:
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages.
WADT 2002: 284-298 |
| 2001 |
|---|
| 2 | | Shin-ya Katsumata,
Atsushi Ohori:
Proof-Directed De-compilation of Low-Level Code.
ESOP 2001: 352-366 |
| 1 | | Alan Mycroft,
Atsushi Ohori,
Shin-ya Katsumata:
Comparing Type-Based and Proof-Directed Decompilation.
WCRE 2001: 362-367 |
