| |
|
| |
Advanced Functional Programming (2005), pp. 130-170.
|
| |
In in the Journal of Functional Programming, Vol. 2006 (2006)
|
| |
|
| |
SIGPLAN Notices, Vol. 41, No. 1. (2006), pp. 1-1.
|
| |
Science of Computer Programming, Vol. 43, No. 2-3. ( 2002), pp. 129-159.
|
| |
In Symposium on Principles of Programming Languages (2000), pp. 119-132.
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 236-243.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97.
|
| |
|
| |
In WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (2006), pp. 1-12.
|
| |
Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391.
|
| |
LISP and Symbolic Computation, Vol. 6, No. 3. (1 November 1993), pp. 289-360.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174.
|
| |
|
| |
ACM SIGPLAN Notices, Vol. 39, No. 4. (April 2004), pp. 502-514.
|
| |
In PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (2001), pp. 162-174.
|
| |
In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740.
|
| |
Higher-Order and Symbolic Computation, Vol. 19, No. 1. (March 2006), pp. 125-162.
|
| |
In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 25-36.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 232-244.
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61.
|
| |
Information and Control, No. 8. (1965)
|
| |
ACM Comput. Surv., Vol. 6, No. 2. (June 1974), pp. 99-124.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005), Vol. 148, No. 2. (24 March 2006), pp. 155-180.
|
| |
|
| |
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 PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35.
|
| |
In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 13-27.
|
| |
In Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California (1998), pp. 252-265.
|
| |
Fundamenta Informaticae, No. 10. (1987)
|
| |
In Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersberg Beach, Florida (1996), pp. 54-67.
|
| |
In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212.
|
| |
In Fourth International Workshop on Foundations of Object-Oriented Programming (FOOL 4) (1997)
|
| |
|
| |
In In Fourth European Symposium on Programming, Vol. 582 (1992), pp. 287-306.
|
| |
In PADL '00: Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages (2000), pp. 263-277.
|
| |
ACM Trans. Internet Technol., Vol. 5, No. 1. (February 2005), pp. 1-46.
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 483-496.
|
| |
|
| |
ACM SIGPLAN Notices, Vol. 35, No. 9. (2000), pp. 268-279.
|
| |
In FPCA '93: Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark (1993), pp. 52-61.
|
| |
In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76.
|
| |
|
| |
In Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, Gd\'ansk (1993)
|
| |
SIGPLAN Not., Vol. 34, No. 6. (June 1999), pp. 23-31.
|
| |
In In: Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (2006)
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 154-165.
|
| |
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 Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
CiteULike
pedagand's CiteULike
Search
Export
