S. Nishimura

Publications45
h-index9
Citations204
Highly Influential Citations5
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • S. Rajsbaum
  • 285 Publications, 6,560 Citations
  • S. Nishimura
  • 492 Publications, 24,146 Citations
  • M. Herlihy
  • 394 Publications, 22,345 Citations
  • E. Gafni
  • 171 Publications, 5,922 Citations
  • Publications
  • Influence
Static typing for dynamic messages
TLDR
This paper presents a static typing discipline for dynamic messages and formalizes it into a second order polymorphic type system. Expand
  • 25
  • 1
Type Inference for First-Class Messages with Feature Constraints
TLDR
We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages in the spirit of Nishimura's recent proposal. Expand
  • 7
  • 1
  • PDF
Algebraic fusion of functions with an accumulating parameter and its improvement
TLDR
This paper develops a new framework for fusion that is designed for eliminating the intermediate data structures involved in the composition of functions that have one accumulating parameter. Expand
  • 4
  • 1
Type Inference for First-Class Messages with Feature Constraints
  • 3
  • 1
The Determination of Uranium Content of Standard Rocks by Fission-Track Registration in Muscovite
Uranium contents in the six U.S. Geological Survey standard rocks together with JG-1 and JB-1, issued by the Geological Survey of Japan, have been analyzed by the technique of fission-track… Expand
  • 12
  • 1
  • PDF
Dictyostelium discoideum: a useful model system to evaluate the function of queuine and of the Q‐family of tRNAs
The nucleoside queuosine (Q) is found in the first position of the anticodon of tRNATy r, tRNA His, tRNAAsp and tRNA Asn of eubacteria and eukaryotes except yeast [1]. In eukaryotes queuine is… Expand
  • 25
  • PDF
8-Hydroxyguanine: a base for discovery.
  • 15
Specific fluorescent labeling of 7-(aminomethyl)-7-deazaguanosine located in the anticodon of tRNATyr isolated from E. coli mutant
TLDR
Under-modified E. coli tRNATyr that contains 7-(aminomethyl)-7-deazaguanosine in place of Q nucleoside can be chemically modified by dansyl chloride under neutral conditions. Expand
  • 7
XML stream transformer generation through program composition and dependency analysis
  • 15
Deriving Event-Based Document Transformers from Tree-Based Specifications
TLDR
Abstract Structured documents are usually processed by tree-based document transformers, which transform the document tree representing the structure of the input document into another tree structure. Expand
  • 15
  • PDF