Takafumi Sakurai (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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
8		Masahiko Sato, Takafumi Sakurai, Rod M. Burstall: Explicit Environments. Fundam. Inform. 45(1-2): 79-115 (2001)
6		Masahiko Sato, Takafumi Sakurai, Rod M. Burstall: Explicit Environments. TLCA 1999: 340-354
4		Masahiko Sato, Takafumi Sakurai: QUTE: A Functional Language Based on Unification. Logic Programming: Functions, Relations, and Equations 1986: 131-155
3		Masahiko Sato, Takafumi Sakurai: QUTE: A Functional Language Based on Unification. FGCS 1984: 157-165
1		Masahiko Sato, Takafumi Sakurai: Qute: A Prolog/Lisp Type Language for Logic Programming. IJCAI 1983: 507-513

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