Travelled to:1 × USA
Collaborated with:T.Wakayama
Talks about:program (2) case (2) abstract (1) resolut (1) languag (1) definit (1) infer (1) horn (1) free (1) base (1)
Person: T. H. Payne
DBLP: Payne:T=_H=
Contributed to:
19901988Wrote 2 papers:
- CADE-1990-WakayamaP #abstraction #source code
- Case-Free Programs: An Abstraction of Definite Horn Programs (TW, THP), pp. 87–101.
- CADE-1988-WakayamaP
- Case Inference in Resolution-Based Languages (TW, THP), pp. 313–322.