 | 2008 |
|---|
| 12 |       | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama,
Atsushi Igarashi:
Calculi of meta-variables.
Frontiers of Computer Science in China 2(1): 12-21 (2008) |
| 2003 |
|---|
| 11 | | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama,
Atsushi Igarashi:
Calculi of Meta-variables.
CSL 2003: 484-497 |
| 2002 |
|---|
| 10 | | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama:
A Simply Typed Context Calculus with First-class Environments.
Journal of Functional and Logic Programming 2002: (2002) |
| 2001 |
|---|
| 9 | | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama:
A Simply Typed Context Calculus with First-Class Environments.
FLOPS 2001: 359-374 |
| 8 |  | Masahiko Sato,
Takafumi Sakurai,
Rod M. Burstall:
Explicit Environments.
Fundam. Inform. 45(1-2): 79-115 (2001) |
| 7 | | Takafumi Sakurai:
Categorical Model Construction for Proving Syntactic Properties.
Int. J. Found. Comput. Sci. 12(2): 213-244 (2001) |
| 1999 |
|---|
| 6 | | Masahiko Sato,
Takafumi Sakurai,
Rod M. Burstall:
Explicit Environments.
TLCA 1999: 340-354 |
| 1998 |
|---|
| 5 | | Takafumi Sakurai:
Categorial Model Construction for Proving Syntactic Properties.
Fuji International Symposium on Functional and Logic Programming 1998: 187-206 |
| 1986 |
|---|
| 4 | | Masahiko Sato,
Takafumi Sakurai:
QUTE: A Functional Language Based on Unification.
Logic Programming: Functions, Relations, and Equations 1986: 131-155 |
| 1984 |
|---|
| 3 | | Masahiko Sato,
Takafumi Sakurai:
QUTE: A Functional Language Based on Unification.
FGCS 1984: 157-165 |
| 2 | | Masami Hagiya,
Takafumi Sakurai:
Foundation of Logic Programming Based on Inductive Definition.
New Generation Comput. 2(1): 59-77 (1984) |
| 1983 |
|---|
| 1 | | Masahiko Sato,
Takafumi Sakurai:
Qute: A Prolog/Lisp Type Language for Logic Programming.
IJCAI 1983: 507-513 |
