|
СТ |
Label-Selective -Calculus Syntax and Cofluence |
1993 |
Ait-Kaci H., Garrigue J. |
|
|
|
Lecture Notes in Computer Science |
20.01.1994 |
|
П |
Label-Selective -Calculus |
1993 |
Ait-Kaci H., Garrigue J. |
|
|
Digital |
|
24.02.1994 |
|
СТ |
The Transformation Calculus |
1995 |
Garrigue J. |
|
|
|
Lecture Notes in Computer Science |
31.01.1996 |
|
СТ |
The Typed Polymorphic Label-Selective -Calculus |
1994 |
Garrigue J., Ait-Kaci H. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
|
СТ |
Extending ML with Semi-Explicit Higher-Order Polymorphism |
1997 |
Garrigue J., Remy D. |
|
|
|
Lecture Notes in Computer Science |
20.09.1997 |
|
СТ |
On the Runtime Complexity of Type-Directed Unboxing |
1999 |
Minamide Y., Garrigue J. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
Relaxing the Value Restriction |
2004 |
Garrigue J. |
|
|
|
Lecture Notes in Computer Science |
07.05.2004 |
