|
СТ |
Soft Typing with Conditional Types |
1994 |
Aiken A., Wimmers E. L., Lakshman T. K. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
|
СТ |
Typed Prolog: A Semantic Reconstruction of the Mycroft-O Keefe Type System |
1991 |
Lakshman T. K., Reddy U. S. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
СТ |
A Framework of Directionality for Proving Termination of Logic Programs |
1992 |
Bronsard F., Lakshman T. K., Reddy U. S. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Directional Type Checking of Logic Programs |
1994 |
Aiken A., Lakshman T. K. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
