Takafumi Sakurai

According to our database, Takafumi Sakurai authored at least 11 papers between 1983 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

A Translation of Intersection and Union Types for the λμ-Calculus.

Kentaro Kikuchi, Takafumi Sakurai

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2011

Virtual Social Experiment of Tram Railway Extension Using Multi-Agent-Based Traffic Simulator.

Hideki Fujii, Takafumi Sakurai, Shinobu Yoshimura

J. Adv. Comput. Intell. Intell. Informatics, 2011

2008

Calculi of meta-variables.

Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi

Frontiers Comput. Sci. China, 2008

2002

A Simply Typed Context Calculus with First-class Environments.

Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama

J. Funct. Log. Program., 2002

2001

Categorical Model Construction for Proving Syntactic Properties.

Takafumi Sakurai

Int. J. Found. Comput. Sci., 2001

Explicit Environments.

Masahiko Sato, Takafumi Sakurai, Rod M. Burstall

Fundam. Informaticae, 2001

1998

Categorial Model Construction for Proving Syntactic Properties.

Takafumi Sakurai

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1986

QUTE: A Functional Language Based on Unification.

Masahiko Sato, Takafumi Sakurai

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1984

Foundation of Logic Programming Based on Inductive Definition.

Masami Hagiya, Takafumi Sakurai

New Gener. Comput., 1984

QUTE: A Functional Language Based on Unification.

Masahiko Sato, Takafumi Sakurai

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

Qute: A Prolog/Lisp Type Language for Logic Programming.

Masahiko Sato, Takafumi Sakurai

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983