Travelled to:1 × Italy
Collaborated with:G.Nadathur
Talks about:implement (1) descript (1) abstract (1) teyjus (1) system (1) prolog (1) machin (1) lambda (1) compil (1) base (1)
Person: Dustin J. Mitchell
DBLP: Mitchell:Dustin_J=
Contributed to:
1999Wrote 1 papers:
- CADE-1999-NadathurM #automaton #compilation #implementation #prolog #λ-calculus
- System Description: Teyjus — A Compiler and Abstract Machine Based Implementation of lambda-Prolog (GN, DJM), pp. 287–291.