Takafumi Sakurai (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

12 Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of meta-variables. Frontiers of Computer Science in China 2(1): 12-21 (2008)

11 Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of Meta-variables. CSL 2003: 484-497

10 Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama: A Simply Typed Context Calculus with First-class Environments. Journal of Functional and Logic Programming 2002: (2002)

9 Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama: A Simply Typed Context Calculus with First-Class Environments. FLOPS 2001: 359-374

Selection of 4 from 12 records - Takafumi Sakurai has 5 coauthors

12		Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of meta-variables. Frontiers of Computer Science in China 2(1): 12-21 (2008)
11		Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of Meta-variables. CSL 2003: 484-497
10		Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama: A Simply Typed Context Calculus with First-class Environments. Journal of Functional and Logic Programming 2002: (2002)
9		Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama: A Simply Typed Context Calculus with First-Class Environments. FLOPS 2001: 359-374