Travelled to:1 × Israel
1 × USA
Collaborated with:∅ N.Y.Foo A.S.Rao A.Walker
Talks about:construct (1) result (1) prolog (1) compil (1) relev (1) negat (1) deduc (1) type (1) risc (1) mip (1)
Person: Andrew Taylor
DBLP: Taylor:Andrew
Contributed to:
19901988Wrote 2 papers:
- CLP-1990-Taylor90 #compilation #prolog
- LIPS on a MIPS: Results from a Prolog Compiler for a RISC (AT), pp. 174–185.
- JICSCP-1988-FooRTW88 #deduction
- Deduced Relevant Types and Constructive Negation (NYF, ASR, AT, AW), pp. 126–139.