| |
J. ACM, Vol. 37, No. 2. (1990), pp. 335-372.
|
| |
In Proc. ACM/SIGAPP Symposium on Applied Computing (SAC) (1993), pp. 77-86.
|
| |
Computer, Vol. 19, No. 2. (1986), pp. 16-28.
|
| |
In Proc. 2nd International Workshop on Software Reusability (March 1993), pp. 66-78.
|
| |
|
| |
|
| |
In Proc. ACM SIGPLAN Workshop on Generic Programming (2008), pp. 37-48.
|
| |
Mathematics of Program Construction In Proc. 8th Internat. Conf. on Mathematics of Program Construction (MPC), Vol. 4014 (2006), pp. 209-234.
|
| |
Software Engineering, Transactions on In Software Engineering, Transactions on, Vol. 23, No. 7. (1997), pp. 401-417.
|
| |
IEEE Trans. Softw. Eng. In Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (January 2000), pp. 70-93.
|
| |
In Proc. 7th Workshop on Specification of Abstract Data Types, Wusterhausen, Vol. 534 (1991), pp. 297-322.
|
| |
Mathematics of Program Construction In Proc. 3rd Internat. Conf. on Mathematics of Program Construction (MPC), Vol. 947 (1995), pp. 399-422.
|
| |
Concurrency, Graphs and Models In Concurrency, Graphs and Models, Vol. 5056 (2008), pp. 593-617.
|
| |
Petri Nets and Other Models of Concurrency – ICATPN 2007 In Proc. 28th Internat. Conf. on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN), Vol. 4546 (2007), pp. 24-28.
|
| |
Algebra, Meaning and Computation In Algebra, Meaning and Computation, Vol. 4060 (2006), pp. 296-316.
|
| |
Acta Informatica, Vol. 25, No. 3. (1 April 1988), pp. 233-281.
|
| |
Information and Computation, Vol. 76, No. 2-3. (March 1988), pp. 165-210.
|
| |
Semantics of Data Types In Proc. Internat. Symp. on Semantics of Data Types, Vol. 173 (1984), pp. 337-356.
|
| |
Theoretical Computer Science, Vol. 285, No. 2. (28 August 2002), pp. 187-243.
|
| |
FM 2006: Formal Methods In Proc. 14th Internat. Symp. on Formal Methods (FM), Vol. 4085 (2006), pp. 460-475.
|
| |
In Proc. 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2006), pp. 42-54.
|
| |
Rewriting Techniques and Applications In Proc. 15th International Conference on Rewriting Techniques and Applications, Vol. 3091 (2004), pp. 301-311.
|
| |
|
| |
In Proc. 2nd Scandinavian Logic Symposium (1971), pp. 237-309.
|
| |
The Computer Journal, Vol. 12, No. 1. (1969), pp. 41-48.
|
| |
|
| |
Attribute Grammars and their Applications (1990), pp. 1-12.
|
| |
Theory of Computing Systems, Vol. 2, No. 2. (1 June 1968), pp. 127-145.
|
| |
|
| |
|
| |
Journal of Logic and Algebraic Programming, Vol. 60--61 (2004), pp. 17-139.
|
| |
STACS 87 In Proc. 4th Annual Symposium on Theoretical Aspects of Computer Science (STACS), Vol. 247 (1987), pp. 22-39.
|
| |
|
| |
Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60--61 ( 2004), pp. 3-15.
|
| |
In SAC '08: Proceedings of the 2008 ACM symposium on Applied computing (2008), pp. 178-183.
|
| |
Compiler Construction In Proc. 10th Internat. Conf. on Compiler Construction (CC), Vol. 2027 (2001), pp. 86-101.
|
| |
Software: Practice and Experience, Vol. 35, No. 2. (2005), pp. 159-188.
|
| |
In Proc. ACM Symposium on Applied Computing (SAC) (2008), pp. 171-177.
|
| |
In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering (2007), pp. 73-82.
|
| |
Softw. Pract. Exper., Vol. 36, No. 3. (2006), pp. 225-254.
|
| |
IEEE Transactions on Software Engineering In IEEE Transactions on Software Engineering, Vol. 23, No. 5. (1997), pp. 314-323.
|
| |
In In First Workshop on C++ Template Programming (2000)
|
| |
In Multiparadigm Programming 2003: Proceedings of the MPOOL Workshop at OOPSLA'03 (October 2003), pp. 87-107.
|
| |
Theoretical Computer Science, Vol. 173, No. 2. (28 February 1997), pp. 445-484.
|
| |
Symbolic and Algebraic Computation (1989), pp. 13-25.
|
| |
Datatype-Generic Programming (2007), pp. 1-71.
|
| |
SIGPLAN Not., Vol. 30, No. 10. (October 1995), pp. 187-199.
|
| |
Programming Languages and Systems In Proc. 17th European Symposium on Programming (ESOP), Vol. 4960 (April 2008), pp. 1-15.
|
| |
In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications (2007), pp. 499-514.
|
| |
In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 1-12.
|
Search
