dblp.uni-trier.dewww.uni-trier.de

T. K. Lakshman Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)