Takafumi Sakurai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1983–2014
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | APLAS | A Translation of Intersection and Union Types for the λμ-Calculus. | Kentaro Kikuchi, Takafumi Sakurai |
| 2003 | CSL | Calculi of Meta-variables. | Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
| 2001 | FLOPS | A Simply Typed Context Calculus with First-Class Environments. | Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama |
| 1998 | FLOPS | Categorial Model Construction for Proving Syntactic Properties. | Takafumi Sakurai |
| 1983 | IJCAI | Qute: A Prolog/Lisp Type Language for Logic Programming. | Masahiko Sato, Takafumi Sakurai |