СТ |
Compositional Model-Views with Generic Graphical User Interfaces |
2004 |
Achten P., Van Eekelen M., Plasmeijer R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
СТ |
When Generic Functions Use Dynamic Values |
2003 |
Achten P., Alimarine A., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
19.06.2003 |
СТ |
GAST: Generic Automated Software Testing |
2003 |
Koopman P., Alimarine A., Tretmans J., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
19.06.2003 |
СТ |
Lazy Dynamic Input/Output in the Lazy Functional Language Clean |
2003 |
Vervoort M., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
19.06.2003 |
СТ |
Towards a Strongly Typed Functional Operating System |
2003 |
Van Weelden A., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
19.06.2003 |
СТ |
Theorem Proving for Functional Programmers. SPARKLE: A Functional Theorem Prover |
2002 |
De Mol M., Van Ekelen M., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
18.05.2002 |
СТ |
A Generic Programming Extension for Clean |
2002 |
Alimarine A., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
18.05.2002 |
СТ |
Polygonizing Implicit Surfaces in a Purely Functional Way |
2001 |
Zorner T.H. -G., Koopman P., Van Eekelen., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
23.05.2001 |
СТ |
The Implementation of Interactive Local State Transition Systems in Clean |
2000 |
Achten P., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
14.09.2000 |
СТ |
Interactive Functional Objects in Clean |
1998 |
Achten P., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
09.10.1998 |
СТ |
Graph Rewriting Semantics for Functional Programming Languages |
1997 |
Van Eekelen M., Smetsers S., Plasmeijer R. |
|
|
|
Lecture Notes in Computer Science |
18.07.1997 |
СТ |
Efficient Distributed Memory Implementation of a Data Parallel Functional Language |
1994 |
Kuchen H., Plasmeijer R., Stoltze H. |
|
|
|
Lecture Notes in Computer Science |
25.08.1994 |