| |
|
| |
In Dynamic Languages Symposium (2007)
|
| |
In International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (2006)
|
| |
|
| |
|
| |
|
| |
In Semantics-Directed Compiler Generation, Proceedings of a Workshop (1980), pp. 211-258.
|
| |
|
| |
|
| |
Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 412-420.
|
| |
In Spring School on Datatype-Generic Programming (2006)
|
| |
|
| |
Lecture Notes in Computer Science : Functional and Logic Programming (2006), pp. 30-46.
|
| |
Parallel Processing Letters, Vol. 13, No. 3. (September 2003), pp. 449-460.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 58-67.
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
| |
|
| |
|
| |
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13.
|
| |
|
| |
|
| |
|
| |
In POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 108-118.
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 244-255.
|
| |
|
| |
|
| |
In Memory Systems Performance and Correctness (2006)
|
| |
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 245-256.
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 26-37.
|
| |
In Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06) (2006)
|
| |
In FOIS '01: Proceedings of the international conference on Formal Ontology in Information Systems (2001), pp. 59-69.
|
| |
No. CMU-CS-03-149. (2003)
|
| |
|
| |
In Haskell Workshop (2006)
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253.
|
| |
SIGPLAN Not., Vol. 39, No. 5. (May 2004), pp. 15-22.
|
| |
|
| |
In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, Vol. 40, No. 10. (October 2005), pp. 211-230.
|
| |
In Proceedings, Seventeenth Annual IEEE Symposium on Logic in Computer Science (2002), pp. 137-146.
|
| |
In Proceedings of the International Joint Conference on Artificial Intelligence (1991)
|
| |
Lecture Notes in Computer Science, Vol. 3855 (December 2005), pp. 174-189.
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 3945 (January 2006), pp. 114-129.
|
| |
Lecture Notes in Computer Science, Vol. 3945 (January 2006), pp. 208-225.
|
| |
|
| |
In Twenty-Five Years of Constructive Type Theory (1998)
|
Search
