Travelled to:2 × USA
Collaborated with:T.H.Payne ∅
Talks about:case (3) resolut (2) program (2) rediscov (1) abstract (1) languag (1) definit (1) monad (1) input (1) infer (1)
Person: Toshiro Wakayama
DBLP: Wakayama:Toshiro
Contributed to:
1990
19891988Wrote 3 papers:
- CADE-1990-WakayamaP #abstraction #source code
- Case-Free Programs: An Abstraction of Definite Horn Programs (TW, THP), pp. 87–101.
- NACLP-1989-Wakayama #monad
- Monadic Cases: Rediscovering Input Resolution (TW), pp. 115–130.
- CADE-1988-WakayamaP
- Case Inference in Resolution-Based Languages (TW, THP), pp. 313–322.