 | 2009 |
|---|
| 26 |       | Keiko Nakata,
Masahito Hasegawa:
Small-step and big-step semantics for call-by-need
CoRR abs/0907.4640: (2009) |
| 25 | | Keiko Nakata,
Masahito Hasegawa:
Small-step and big-step semantics for call-by-need.
J. Funct. Program. 19(6): 699-722 (2009) |
| 24 | | Masahito Hasegawa:
On traced monoidal closed categories.
Mathematical Structures in Computer Science 19(2): 217-244 (2009) |
| 2008 |
|---|
| 23 | | Masahito Hasegawa,
Martin Hofmann,
Gordon D. Plotkin:
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories.
Pillars of Computer Science 2008: 367-385 |
| 2006 |
|---|
| 22 | | Yo Ohta,
Masahito Hasegawa:
A Terminating and Confluent Linear Lambda Calculus.
RTA 2006: 166-180 |
| 21 | | Masahito Hasegawa:
Relational Parametricity and Control
CoRR abs/cs/0606072: (2006) |
| 20 | | Masahito Hasegawa:
Relational Parametricity and Control.
Logical Methods in Computer Science 2(3): (2006) |
| 2005 |
|---|
| 19 | | Masahito Hasegawa:
Relational Parametricity and Control.
LICS 2005: 72-81 |
| 18 | | Yoshihiko Kakutani,
Masahito Hasegawa:
Parameterizations and Fixed-Point Operators on Control Categories.
Fundam. Inform. 65(1-2): 153-172 (2005) |
| 17 | | Masahito Hasegawa:
Classical linear logic of implications.
Mathematical Structures in Computer Science 15(2): 323-342 (2005) |
| 2004 |
|---|
| 16 | | Masahito Hasegawa:
Semantics of Linear Continuation-Passing in Call-by-Name.
FLOPS 2004: 229-243 |
| 2003 |
|---|
| 15 | | Yukiyoshi Kameyama,
Masahito Hasegawa:
A sound and complete axiomatization of delimited continuations.
ICFP 2003: 177-188 |
| 14 | | Yoshihiko Kakutani,
Masahito Hasegawa:
Parameterizations and Fixed-Point Operators on Control Categories.
TLCA 2003: 180-194 |
| 13 | | Yukiyoshi Kameyama,
Masahito Hasegawa:
A sound and complete axiomatization of delimited continuations.
SIGPLAN Notices 38(9): 177-188 (2003) |
| 2002 |
|---|
| 12 | | Masahito Hasegawa:
Classical Linear Logic of Implications.
CSL 2002: 458-472 |
| 11 | | Masahito Hasegawa:
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.
FLOPS 2002: 167-182 |
| 10 | | Masahito Hasegawa:
The Uniformity Principle on Traced Monoidal Categories.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 9 |  | Masahito Hasegawa,
Yoshihiko Kakutani:
Axioms for Recursion in Call-by-Value.
Higher-Order and Symbolic Computation 15(2-3): 235-264 (2002) |
| 2001 |
|---|
| 8 | | Masahito Hasegawa:
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.
APLAS 2001: 277-288 |
| 7 | | Masahito Hasegawa,
Yoshihiko Kakutani:
Axioms for Recursion in Call-by-Value.
FoSSaCS 2001: 246-260 |
| 2000 |
|---|
| 6 | | Masahito Hasegawa:
Girard translation and logical predicates.
J. Funct. Program. 10(1): 77-89 (2000) |
| 1999 |
|---|
| 5 | | Masahito Hasegawa:
Logical Predicates for Intuitionistic Linear Type Theories.
TLCA 1999: 198-212 |
| 1997 |
|---|
| 4 | | Andrew Barber,
Philippa Gardner,
Masahito Hasegawa,
Gordon D. Plotkin:
From Action Calculi to Linear Logic.
CSL 1997: 78-97 |
| 3 | | Philippa Gardner,
Masahito Hasegawa:
Types and Models for Higher-Order Action Calculi.
TACS 1997: 583-603 |
| 2 | | Masahito Hasegawa:
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi.
TLCA 1997: 196-213 |
| 1995 |
|---|
| 1 | | Masahito Hasegawa:
Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages.
Category Theory and Computer Science 1995: 200-219 |
