| |
|
| |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 89-150.
|
| |
|
| |
In Proceedings of the First International Workshop on Library-Centric Software Design (LCSD ’05) (16 October 2005), pp. 1-10.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217.
|
| |
Information and Computation, Vol. 93, No. 1. (July 1991), pp. 55-92.
|
| |
|
| |
Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308.
|
| |
In ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (2 October 2008)
|
| |
|
| |
|
| |
Automated Reasoning (2006), pp. 392-407.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004, Vol. 91 (16 February 2004), pp. 212-228.
|
| |
|
| |
In New Structures for Physics
|
| |
In New Structures for Physics
|
| |
In New Structures for Physics
|
| |
|
| |
Advanced Functional Programming (1999), pp. 28-115.
|
| |
In Proceedings of the 1998 Workshop on Generic Programming (WGP'98) (18 July 1998)
|
| |
|
| |
|
CiteULike
spl's CiteULike
Search
Export
