| |
In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144.
|
| |
J. Inf. Sci., Vol. 32, No. 2. (1 April 2006), pp. 198-208.
|
| |
|
| |
In HYPERTEXT '06: Proceedings of the seventeenth conference on Hypertext and hypermedia (2006), pp. 31-40.
|
| |
In HYPERTEXT '06: Proceedings of the seventeenth conference on Hypertext and hypermedia (2006), pp. 111-114.
|
| |
In CHI '06: CHI '06 extended abstracts on Human factors in computing systems (2006), pp. 36-39.
|
| |
In CSCW '06: Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work (2006), pp. 181-190.
|
| |
In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
|
| |
|
| |
In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (1989), pp. 281-292.
|
| |
In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359.
|
| |
In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343.
|
| |
|
| |
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 261-272.
|
| |
|
| |
In Foundations of Software Science and Computation Structure (2002), pp. 342-356.
|
| |
In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001)
|
| |
In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151.
|
| |
In WWW '06: Proceedings of the 15th international conference on World Wide Web (2006), pp. 193-202.
|
| |
Journal of Functional Programming, Vol. 8, No. 4. (1998)
|
| |
|
| |
In Domain-Specific Languages (1999), pp. 109-122.
|
| |
Lecture Notes in Computer Science, Vol. 1782 (2000)
|
| |
|
| |
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
|
| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13.
|
| |
In Domain-Specific Languages (1999), pp. 81-94.
|
| |
No. NOTTCS-TR-96-4. (1996)
|
| |
|
| |
|
| |
In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 1-14.
|
| |
Journal of Information Science In Journal of Information Science, Vol. 34, No. 1. (1 February 2008), pp. 15-29.
|
| |
Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202.
|
| |
ACM Comput. Surv., Vol. 38, No. 1. (2006)
|
| |
In Computer Science Today (1995), pp. 203-217.
|
| |
Natural Language Processing and Information Systems (2006), pp. 58-69.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227.
|
| |
|
| |
|
| |
Sci. Comput. Program., Vol. 37, No. 1-3. (2000), pp. 67-111.
|
| |
In CHI '07: Proceedings of the SIGCHI conference on Human factors in computing systems (2007), pp. 971-980.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 111-122.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107.
|
| |
|
| |
|
| |
|
| |
In Proceedings of 22nd Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) (1995), pp. 233-246.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In ERLANG '03: Proceedings of the 2003 ACM SIGPLAN workshop on Erlang (2003), pp. 43-55.
|
| |
In Proceedings 4th Annual IEEE Symp.\ on Logic in Computer Science, LICS'89, Pacific Grove, CA, USA, 5--8 June 1989 (1989), pp. 14-23.
|
| |
|
| |
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61.
|
| |
Order, Vol. 5, No. 4. (1989), pp. 323-343.
|
| |
|
| |
|
| |
In PODC '03: Proceedings of the twenty-second annual symposium on Principles of distributed computing (2003), pp. 347-351.
|
| |
In STOC '03: Proceedings of the thirty-fifth annual ACM symposium on Theory of computing (2003), pp. 511-520.
|
| |
|
| |
|
| |
Journal of Graph Theory, Vol. 49, No. 4. (7 April 2005), pp. 273-284.
|
| |
In The Computer Science and Engineering Handbook (1997)
|
| |
In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 155-162.
|
| |
|
| |
Queue, Vol. 3, No. 9. (November 2005), pp. 28-35.
|
| |
In SIGPLAN '87: Papers of the Symposium on Interpreters and interpretive techniques, Vol. 22, No. 7. (July 1987), pp. 26-37.
|
| |
Searcher Mag Database Prof, Vol. 14, No. 6. (2006), pp. 26-38.
|
| |
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 229-240.
|
| |
|
| |
Web Intelligence, 2006. WI 2006. IEEE/WIC/ACM International Conference on (2006), pp. 352-355.
|
| |
In International Conference on Functional Programming (1997), pp. 196-203.
|
| |
|
| |
|
| |
|
| |
In Functional Programming Languages and Computer Architecture (1995)
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 110-115.
|
| |
In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000)
|
| |
|
| |
Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202.
|
| |
In LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming (1982), pp. 216-225.
|
| |
In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture (1991), pp. 124-144.
|
| |
|
| |
In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992)
|
| |
In JCDL '06: Proceedings of the 6th ACM/IEEE-CS joint conference on Digital libraries (2006), pp. 364-364.
|
| |
|
| |
Lecture Notes in Computer Science : On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (2006), pp. 181-188.
|
| |
No. LIX/RR/89/03, 79--106. (1989)
|
| |
Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67.
|
Search
