BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × United Kingdom
2 × Germany
2 × Japan
Collaborated with:
S.Okui T.Ida A.Middeldorp M.Marin K.Nakagawa
Talks about:
narrow (3) higher (3) order (3) lazi (3) function (2) condit (2) disambigu (1) confluenc (1) standard (1) calculus (1)

Person: Taro Suzuki

DBLP DBLP: Suzuki:Taro

Contributed to:

CIAA 20102010
CIAA 20092009
FLOPS 20012001
FLOPS 19991999
ALP/HOA 19971997
ALP 19961996
RTA 19951995

Wrote 7 papers:

CIAA-2010-OkuiS #ambiguity #automaton #regular expression
Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions (SO, TS), pp. 231–240.
Hedge Pattern Partial Derivative (TS, SO), pp. 125–134.
FLOPS-2001-SuzukiM #lazy evaluation
A Complete Selection Function for Lazy Conditional Narrowing (TS, AM), pp. 201–215.
FLOPS-1999-MarinIS #higher-order #lazy evaluation #on the
On Reducing the Search Space of Higher-Order Lazy Narrowing (MM, TI, TS), pp. 319–334.
ALP-1997-SuzukiNI #calculus #functional #higher-order #lazy evaluation #logic
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language (TS, KN, TI), pp. 99–113.
ALP-1996-Suzuki #revisited #standard #theorem
Standardization Theorem Revisited (TS), pp. 122–134.
RTA-1995-SuzukiMI #term rewriting
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides (TS, AM, TI), pp. 179–193.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.