T. K. Lakshman

According to our database, T. K. Lakshman authored at least 3 papers between 1992 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Directional Type Checking of Logic Programs

Alexander Aiken, T. K. Lakshman

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Soft Typing with Conditional Types.

Alexander Aiken, Edward L. Wimmers, T. K. Lakshman

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1992

A Framework of Directionality for Proving Termination of Logic Programs.

François Bronsard, T. K. Lakshman, Uday S. Reddy

Proceedings of the Logic Programming, 1992