|
СТ |
Conventional and Uniqueness Typing in Graph Rewrite Systems |
1993 |
Barendsen E., Smetsers S. |
|
|
|
Lecture Notes in Computer Science |
20.01.1994 |
|
СТ |
Fusion in Practice |
2003 |
Van Arkel D., Van Groningen J., Smetsers S. |
|
|
|
Lecture Notes in Computer Science |
19.06.2003 |
|
СТ |
Graph Rewriting Semantics for Functional Programming Languages |
1997 |
Van Eekelen M., Smetsers S., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
18.07.1997 |
|
СТ |
Optimizing Generic Functions |
2004 |
Alimarine A., Smetsers S. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
Uniqueness Type Inference |
1995 |
Barendsen E., Smetsers S. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
