Takafumi Sakurai

14 papers A* 1B 2Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2014 B conf
A Translation of Intersection and Union Types for the λμ-Calculus.
APLAS
Kentaro Kikuchi, Takafumi Sakurai
2011 J jnl
Virtual Social Experiment of Tram Railway Extension Using Multi-Agent-Based Traffic Simulator.
J. Adv. Comput. Intell. Intell. Informatics
Hideki Fujii, Takafumi Sakurai, Shinobu Yoshimura
2008 J jnl
Calculi of meta-variables.
Frontiers Comput. Sci. China
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
2003 B conf
Calculi of Meta-variables.
CSL
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
2002 J jnl
A Simply Typed Context Calculus with First-class Environments.
J. Funct. Log. Program.
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
2001 Misc conf
A Simply Typed Context Calculus with First-Class Environments.
FLOPS
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
2001 J jnl
Categorical Model Construction for Proving Syntactic Properties.
Int. J. Found. Comput. Sci.
Takafumi Sakurai
2001 J jnl
Explicit Environments.
Fundam. Informaticae
Masahiko Sato, Takafumi Sakurai, Rod M. Burstall
1999 — conf
Explicit Environments.
TLCA
Masahiko Sato, Takafumi Sakurai, Rod M. Burstall
1998 — conf
Categorial Model Construction for Proving Syntactic Properties.
Fuji International Symposium on Functional and Logic Programming
Takafumi Sakurai
1986 — ch.
QUTE: A Functional Language Based on Unification.
Logic Programming: Functions, Relations, and Equations
Masahiko Sato, Takafumi Sakurai
1984 J jnl
Foundation of Logic Programming Based on Inductive Definition.
New Gener. Comput.
Masami Hagiya, Takafumi Sakurai
1984 — conf
QUTE: A Functional Language Based on Unification.
FGCS
Masahiko Sato, Takafumi Sakurai
1983 A* conf
Qute: A Prolog/Lisp Type Language for Logic Programming.
IJCAI
Masahiko Sato, Takafumi Sakurai