|
СТ |
Recursive Types and Pattern-Matching in Java |
2000 |
Forax R., Roussel G. |
|
|
|
Lecture Notes in Computer Science |
28.11.2000 |
|
СТ |
Declarative Program Transformation: A Deforestation Case-Study |
1999 |
Correnson L., Duris E., Parigot D., Roussel G. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
Equational Semantics |
1999 |
Correnson L., Duris E., Parigot D., Roussel G. |
|
|
|
Lecture Notes in Computer Science |
19.10.1999 |
|
СТ |
Dynamic Attribute Grammars |
1996 |
Parigot D., Roussel G., Jourdan M., Duris E. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
|
СТ |
Coupling Evaluators for Attribute Coupled Grammars |
1994 |
Roussel G., Parigot D., Jourdan M. |
|
|
|
Lecture Notes in Computer Science |
27.04.1994 |
|
СТ |
Specification and Implementation of Grammar Couplings using Attribute Grammars |
1993 |
Jourdan M., Le Bellec C., Parigot D., Roussel G. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
