| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Proc. 15th IASTEAD Conf. on Applied Simulation and Modelling (2006), pp. 151-156.
|
| |
In Maple Conference (2006)
|
| |
In Proceedings of Artificial Intelligence and Symbolic Computation (2006)
|
| |
In {MPC}, Vol. 4014 (2006)
|
| |
In {MPC}, Vol. 4014 (2006), pp. 253-273.
|
| |
Science of Computer Programming, Vol. 62, No. 1. (2006), pp. 3-24.
|
| |
In Calculemus, Vol. 151, No. 1. (2005)
|
| |
In Maple Conference 2005 Proceedings (2005)
|
| |
|
| |
In WCRE (November 2005), pp. 23-32.
|
| |
In Technical Proceedings of the 2005 Nanotechnology Conference and Trade Show (May 2005)
|
| |
Journal of Applied Physics, Vol. 98 (October 2005)
|
| |
In 8th International Conference on Relational Methods in Computer Science, {RelMiCS 8}, Vol. 3929 (2005)
|
| |
In 8th International Conference on Relational Methods in Computer Science, {RelMiCS 8}, Vol. 3929 (2005), pp. 147-160.
|
| |
|
| |
In Generative Programming and Component-based Engineering {GPCE} (2005), pp. 256-274.
|
| |
In {M}aple {S}ummer {W}orkshop (2004)
|
| |
In Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation (ISSAC) (2004), pp. 72-79.
|
| |
Journal of Symbolic Computation, Vol. 38, No. 4. (October 2004), pp. 1303-1326.
|
| |
In Proceedings of {C}alculemus 2003 (2003), pp. 58-68.
|
| |
European Symposium On Programming (2005)
|
| |
In Conf.\ Record 17th Annual ACM Symp.\ on Principles of Programming Languages, POPL'90, San Francisco, CA, USA, 17--19 Jan 1990 (1990), pp. 47-57.
|
| |
In Proc.\ of 2nd ACM SIGPLAN Workshop on Continuations, CW'97, Paris, France, 14 Jan.\ 1997 (1996)
|
| |
|
| |
|
| |
|
| |
|
| |
Thirty Five Years of Automating Mathematics (2003)
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107.
|
| |
In Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Portland, Oregon, January 17--21, 1994 (1994), pp. 472-492.
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 324-333.
|
| |
|
| |
In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Vol. 34(1) (1999), pp. 94-104.
|
| |
In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 4-12.
|
| |
European Conference on Object-Oriented Programming (2004)
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359.
|
| |
In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 14-25.
|
| |
Interacting with Computers, Vol. 13, No. 2. (December 2000), pp. 127-145.
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 49-61.
|
| |
Theoretical Computer Science, Vol. 149, No. 1. (1995), pp. 3-48.
|
| |
|
| |
Nature, Vol. 401, No. 6755. (21 October 1999), pp. 788-791.
|
| |
In Proceedings: Fifth International Conference on Software Reuse (1998), pp. 134-142.
|
| |
|
Search
