T. K. Lakshman

1994
3		Alexander Aiken, Edward L. Wimmers, T. K. Lakshman: Soft Typing with Conditional Types. POPL 1994: 163-173
2		Alexander Aiken, T. K. Lakshman: Directional Type Checking of Logic Programs SAS 1994: 43-60
1992
1		François Bronsard, T. K. Lakshman, Uday S. Reddy: A Framework of Directionality for Proving Termination of Logic Programs. JICSLP 1992: 321-335

Coauthor Index

1	Alexander Aiken (Alex Aiken)	[2] [3]
2	François Bronsard	[1]
3	Uday S. Reddy	[1]
4	Edward L. Wimmers	[3]

Colors in the list of coauthors