| |
Software, IEEE, Vol. 24, No. 6. (05 November 2007), pp. 90-98.
|
| |
Software, IEEE, Vol. 24, No. 6. (05 November 2007), pp. 2-5.
|
| |
Journal of Automated Reasoning, Vol. 43, No. 4. (1 December 2009), pp. 363-446.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 85-103.
|
| |
Annals of Pure and Applied Logic (07 May 2009)
|
| |
Computer Languages, Systems & Structures, Vol. 36, No. 1. (23 April 2010), pp. 16-33.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 244 (01 August 2009), pp. 81-94.
|
| |
Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1999), pp. 221-236.
|
| |
Theoretical Computer Science, Vol. 377, No. 1-3. (31 May 2007), pp. 1-24.
posted to no-tag by ajk
on 2007-05-07 08:38:57
as 
|
| |
ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 764-778.
|
| |
Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67.
|
| |
Computer Languages, Systems & Structures, Vol. 33, No. 2. (July 2007), pp. 60-78.
posted to no-tag by ajk
on 2006-12-29 08:51:16
as
|
| |
ACM Comput. Surv., Vol. 35, No. 2. (June 2003), pp. 97-113.
|
| |
ACM Comput. Surv., Vol. 37, No. 2. (June 2005), pp. 83-137.
|
| |
Lecture Notes in Computer Science : B 2007: Formal Specification and Development in B (2006), pp. 19-33.
posted to b formal by ajk
on 2006-12-18 09:37:52
as 
|
| |
ACM Comput. Surv., Vol. 13, No. 1. (March 1981), pp. 101-120.
|
| |
Principles of Software Evolution, Eighth International Workshop on (2005), pp. 165-174.
|
| |
J. Funct. Program., Vol. 10, No. 3. (May 2000), pp. 227-244.
|
| |
Computer Standards & Interfaces, Vol. 23, No. 3. (July 2001), pp. 169-185.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 24, No. 6. (November 2002), pp. 698-710.
posted to parser by ajk
on 2006-10-16 17:19:01
as
|
| |
ACM Comput. Surv., Vol. 6, No. 2. (June 1974), pp. 99-124.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 4, No. 4. (October 1982), pp. 615-649.
|
| |
In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 116-119.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Vol. 162 (29 September 2006), pp. 209-215.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Vol. 162 (29 September 2006), pp. 3-36.
posted to no-tag by ajk
on 2006-09-27 21:33:00
as
|
| |
|
| |
Inf. Comput., Vol. 75, No. 3. (December 1987), pp. 191-231.
|
| |
Journal of Functional Programming, Vol. 2, No. 1. (January 1992), pp. 73-79.
|
| |
J. Funct. Program., Vol. 9, No. 6. (November 1999), pp. 579-603.
|
| |
In PPDP '00: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming (2000), pp. 151-162.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (2001), pp. 265-276.
|
| |
In Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 174-185.
|
| |
Transactions of the American Mathematical Society, Vol. 39, No. 3. (1936), pp. 472-482.
|
| |
The Journal of Symbolic Logic, Vol. 5, No. 2. (1940), pp. 56-68.
|
| |
The Journal of Symbolic Logic, Vol. 1, No. 1. (1936), pp. 40-41.
|
| |
American Journal of Mathematics, Vol. 58, No. 2. (1936), pp. 345-363.
|
| |
|
| |
In STOC '73: Proceedings of the fifth annual ACM symposium on Theory of computing (1973), pp. 224-239.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 7, No. 4. (October 1985), pp. 501-538.
|
| |
Higher Order Symbol. Comput., Vol. 11, No. 4. (December 1998), pp. 405-439.
|
| |
Higher Order Symbol. Comput., Vol. 11, No. 4. (December 1998), pp. 399-404.
|
| |
In FDPE '05: Proceedings of the 2005 workshop on Functional and declarative programming in education (2005), pp. 9-13.
|
| |
|
| |
Science of Computer Programming In 6th European Symposium on Programming, Vol. 32, No. 1-3. (September 1998), pp. 3-47.
|
| |
In IFL '96: Selected Papers from the 8th International Workshop on Implementation of Functional Languages (1997), pp. 58-84.
|
Search
