Takafumi Sakurai - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2014

A Translation of Intersection and Union Types for the λμ-CalculusKentaro Kikuchi, Takafumi Sakurai. aplas 2014: 120-139 [doi]

2011

Virtual Social Experiment of Tram Railway Extension Using Multi-Agent-Based Traffic SimulatorHideki Fujii, Takafumi Sakurai, Shinobu Yoshimura. jaciii, 15(2):226-232, 2011. [doi]

2008

Calculi of meta-variablesMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi. fcsc, 2(1):12-21, 2008. [doi]

2003

Calculi of Meta-variablesMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi. csl 2003: 484-497 [doi]

2002

A Simply Typed Context Calculus with First-class EnvironmentsMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama. jflp, 2002, 2002. [doi]

2001

Categorical Model Construction for Proving Syntactic PropertiesTakafumi Sakurai. ijfcs, 12(2):213-244, 2001.

Explicit EnvironmentsMasahiko Sato, Takafumi Sakurai, Rod M. Burstall. FUIN, 45(1-2):79-115, 2001.

A Simply Typed Context Calculus with First-Class EnvironmentsMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama. FLOPS 2001: 359-374 [doi]

1999

Explicit EnvironmentsMasahiko Sato, Takafumi Sakurai, Rod M. Burstall. tlca 1999: 340-354 [doi]

1998

Categorial Model Construction for Proving Syntactic PropertiesTakafumi Sakurai. FLOPS 1998: 187-206

1986

QUTE: A Functional Language Based on UnificationMasahiko Sato, Takafumi Sakurai. In Logic Programming: Functions, Relations, and Equations. pages 131-155, 1986.

1984

Foundation of Logic Programming Based on Inductive DefinitionMasami Hagiya, Takafumi Sakurai. ngc, 2(1):59-77, 1984.

QUTE: A Functional Language Based on UnificationMasahiko Sato, Takafumi Sakurai. fgcs 1984: 157-165

1983

Qute: A Prolog/Lisp Type Language for Logic ProgrammingMasahiko Sato, Takafumi Sakurai. IJCAI 1983: 507-513

Sign in or sign up to see more results.

runs on WebDSL