| |
|
| |
In Workshop on Logical Frameworks and Meta-languages (LFM'99), Paris, France (28 September 1999)
|
| |
ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 280-292.
|
| |
In NSDI'05: Proceedings of the 2nd conference on Symposium on Networked Systems Design \& Implementation (2005), pp. 175-188.
|
| |
In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation (2000), pp. 242-252.
|
| |
Lecture Notes in Computer Science, Vol. 1753 (2000), pp. 16-??.
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 2257 (2001)
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60.
|
| |
In Haskell '03: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (2003), pp. 7-18.
|
| |
Lecture Notes in Computer Science, Vol. 1490 (1998), pp. 284-??.
|
| |
Computer, Vol. 39, No. 5. (2006), pp. 33-42.
|
| |
In PPDP '00: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming (2000), pp. 56-67.
|
| |
In Proceedings of the 2001 ACM SIGCOMM Conference (2001), pp. 149-160.
|
| |
In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 51-64.
|
| |
Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 229-240.
|
| |
|
| |
In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 59-70.
|
| |
In Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly)) (2007)
|
| |
Functional and Logic Programming (2006), pp. 65-80.
|
| |
|
| |
In FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture (1993), pp. 106-116.
|
| |
Trends in Functional Programming, Vol. 7 (2006), pp. 73-90.
|
| |
Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007 In Draft Proceedings of the 19th International Symposium on
IFL (September 2007)
|
| |
In DAC '01: Proceedings of the 38th conference on Design automation (2001), pp. 321-322.
|
| |
Science of Computer Programming, Vol. 63, No. 2. (01 December 2006), pp. 172-185.
|
| |
Programming Languages and Systems (2009), pp. 222-238.
|
| |
Journal of Functional Programming, Vol. Forthcoming, No. -1. (2008), pp. 1-14.
|
| |
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 189-199.
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 442-455.
|
| |
In SIGMOD '07: Proceedings of the 2007 ACM SIGMOD international conference on Management of data (2007), pp. 1029-1040.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 174-184.
|
| |
Computer Aided Verification (1999), pp. 686-686.
|
| |
In DATE '03: Proceedings of the conference on Design, Automation and Test in Europe (2003)
|
| |
J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
|
| |
In Euro-Par '01: Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing (2001), pp. 524-534.
|
| |
In DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming (2007), pp. 10-18.
|
| |
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 37-48.
|
| |
SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 247-259.
|
| |
In Functional Programming Languages in Education (1995), pp. 139-158.
|
| |
High-Performance Computer Architecture, International Symposium on, Vol. 0 (2007), pp. 13-24.
|
| |
In Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, Vol. 3125 (July 2004), pp. 85-109.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 7, No. 4. (October 1985), pp. 501-538.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38.
|
| |
BT Technology Journal, Vol. 24, No. 3. (July 2006), pp. 119-129.
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 10-21.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128.
|
Search
