| |
Proceedings of Workshop on Mathematically Structured Functional Programming In MSFP 2006 (July 2006)
|
| |
Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111.
|
| |
Inf. Comput., Vol. 115, No. 1. (November 1994), pp. 38-94.
|
| |
Indagationes Mathematicae (Proceedings), Vol. 75, No. 5. (1972), pp. 381-392.
|
| |
|
| |
IEEE Trans. Softw. Eng., Vol. 19, No. 5. (May 1993), pp. 478-485.
|
| |
SIGPLAN Not., Vol. 37, No. 5. (May 2002), pp. 13-24.
|
| |
In PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2006), pp. 38-47.
|
| |
|
| |
No. 2007--251. (May 2007)
|
| |
|
| |
|
| |
ACM SIGPLAN Notices, Vol. 33, No. 9. (1998), pp. 26-76.
|
| |
IEEE Std 1003.1, 2004 Edition. The Open Group Technical Standard. Base Specifications, Issue 6. Includes IEEE Std 1003.1-2001, IEEE Std 1003.1-2001/Cor 1-2002 and IEEE Std 1003.1-2001/Cor 2-2004. Shell and Utilities In IEEE Std 1003.1, 2004 Edition. The Open Group Technical Standard. Base Specifications, Issue 6. Includes IEEE Std 1003.1-2001, IEEE Std 1003.1-2001/Cor 1-2002 and IEEE Std 1003.1-2001/Cor 2-2004. Shell and Utilities (2004)
|
| |
In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming (1997), pp. 274-279.
|
| |
|
| |
In Logical Foundations of Functional Programming (1990), pp. 77-86.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Symposium on Principles of Programming Languages (2000), pp. 108-118.
|
| |
|
| |
In International Conference on Functional Programming (2001), pp. 38-49.
|
| |
In International Joint Conference on Theory and Practice of Software Development (TAPSOFT/{FASE}'97), Vol. 1214 (apr 1997), pp. 727-741.
|
| |
In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 207-218.
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 30, No. 5. (September 2005), pp. 286-295.
|
| |
In European Symposium on Programming (1999), pp. 74-90.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 72-84.
|
| |
In PASTE '04: Proceedings of the ACM-SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2004), pp. 23-28.
|
| |
|
| |
In Proceedings of the 23rd International Conference on Software Engineering (2001), pp. 221-230.
|
| |
|
| |
|
| |
|
| |
In SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering (2002), pp. 11-20.
|
| |
In Proceedings of the International Symposium of Software Testing and Analysis, 2002. (2002)
|
| |
|
| |
SIGPLAN Not. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 48-61.
|
| |
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 30, No. 5. (September 2005), pp. 306-315.
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 467-477.
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 291-301.
|
| |
In ICSE '01: Proceedings of the 23rd International Conference on Software Engineering (2001), pp. 339-348.
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 396-399.
|
| |
Lecture Notes in Computer Science, Vol. 3586 (2005), pp. 528-550.
|
Search
