Concepedia

Takafumi Sakurai

TS

Statistics

Publications

5

Citations

94

H-Index

5

Active since

1983

Affiliations

Kyoto University(Current)

Tokyo University of Information Sciences

Takafumi Sakurai is an author at Kyoto University specializing in computer science, computing, and type systems.

Publications per year

1983–2002

5

Publications

5

Foundation of logic programming based on inductive definition

Masami Hagiya, Takafumi Sakurai · New Generation Computing · 1984 · 25 citations · Full text

Computing, Computer Science, Mathematics +12

A Simply Typed Context Calculus with First-class Environments.

Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama · 2002 · 22 citations

Computing, Computer Science, Algebra +13

Explicit Environments

Masahiko Sato, Takafumi Sakurai, R. M. Burstall · Lecture notes in computer science · 1999 · 21 citations

Computing, Computer Science, Algebra +11

QUTE: A Functional Language Based on Unification.

Masahiko Sato, Takafumi Sakurai · Future Generation Computer Systems · 1984 · 14 citations

Computing, Computer Science, Computational Linguistics +11

Qute: a prolog/lisp type language for logic programming

Masahiko Sato, Takafumi Sakurai · International Joint Conference on Artificial Intelligence · 1983 · 12 citations

Computing, Computer Science, Formal Methods +10

1–5 of 5