Travelled to:1 × Belgium
2 × USA
Collaborated with:A.Aiken E.L.Wimmers F.Bronsard U.S.Reddy
Talks about:type (3) program (2) direct (2) logic (2) framework (1) termin (1) condit (1) prove (1) check (1) soft (1)
Person: T. K. Lakshman
DBLP: Lakshman:T=_K=
Contributed to:
1994
1994
1992Wrote 3 papers:
- POPL-1994-AikenWL #type system
- Soft Typing with Conditional Types (AA, ELW, TKL), pp. 163–173.
- SAS-1994-AikenL #logic programming #source code #type checking
- Directional Type Checking of Logic Programs (AA, TKL), pp. 43–60.
- JICSLP-1992-BronsardLR #framework #logic programming #proving #source code #termination
- A Framework of Directionality for Proving Termination of Logic Programs (FB, TKL, USR), pp. 321–335.