СТ |
Two Aspects of Directional Types |
1995 |
Boye J., Maluszynski J. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
П |
Directional types for logic programs and the annotation method |
1995 |
Boye J., Maluszynski J. |
|
|
INRIA |
|
21.10.1995 |
СТ |
Synthesis of Directionality Information for Functional Logic Programs |
1993 |
Boye J., Paakki J., Matuszynski J. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
СТ |
Avoiding Dynamic Delays in Functional Logic Programs |
1993 |
Boye J. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |