Travelled to:1 × USA
Collaborated with:U.S.Reddy
Talks about:type (2) reconstruct (1) mycroft (1) system (1) semant (1) prolog (1) keef (1)
Person: T. L. Lakshman
DBLP: Lakshman:T=_L=
Contributed to:
1991Wrote 1 papers:
- ISLP-1991-LakshmanR #prolog #re-engineering #semantics #type system
- Typed Prolog: A Semantic Reconstruction of the Mycroft-O’Keefe Type System (TLL, USR), pp. 202–217.