T. K. Lakshman

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

Alexander Aiken, T. K. Lakshman
Directional Type Checking of Logic Programs SAS (1994)
Alexander Aiken, Edward L. Wimmers, T. K. Lakshman
Soft Typing with Conditional Types. POPL (1994)
François Bronsard, T. K. Lakshman, Uday S. Reddy
A Framework of Directionality for Proving Termination of Logic Programs. JICSLP (1992)