| |
|
| |
In Visual Languages (1997), pp. 230-237.
|
| |
|
| |
|
| |
|
| |
|
| |
In {Model Driven Architecture - Foundations and Applications: Second European Conference}, Vol. 4066 (2006), pp. 361-375.
|
| |
6th Symposium on Trends in Functional Programming (2005), pp. 340-354.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 5-16.
|
| |
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 134-143.
|
| |
In Proceedings of UML 2002, the 5th International Conference on the Unified Modeling Language (September 2002), pp. 2-17.
|
| |
|
| |
In ReIMICS '01: Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science (2002), pp. 1-14.
|
| |
Journal of Functional Programming, Vol. 11, No. 5. (2001), pp. 467-492.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Vol. 148, No. 1. (01 February 2006), pp. 187-198.
|
| |
Electronic Communications of the EASST, Vol. 4 (2006)
|
| |
In ICGT (2006), pp. 77-91.
|
| |
|
| |
In TAGT (1998), pp. 281-295.
|
Search
