| |
J. Funct. Program., Vol. 19, No. 1. (2009), pp. 1-16.
|
| |
SIGMOD Rec., Vol. 23, No. 1. (1994), pp. 87-96.
|
| |
Central European Functional Programming School (2006), pp. 135-167.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 245-256.
|
| |
In Lecture notes of the 6th International Summer School on Advanced Functional Programming (May 2008)
|
| |
|
| |
In Symposium on Trends in Functional Programming (2007)
|
| |
|
| |
|
| |
|
| |
|
| |
In In Glasgow functional programming workshop (1994), pp. 78-95.
|
| |
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (2001), pp. 274-285.
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (1999), pp. 25-36.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 273-279.
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 37-48.
|
| |
In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 9. (September 1999), pp. 114-125.
|
| |
In Domain-Specific Languages (1999), pp. 109-122.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217.
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 1-12.
|
| |
J. Funct. Program., Vol. 16, No. 4-5. (2006), pp. 485-545.
|
| |
Proceedings of Workshop on Mathematically Structured Functional Programming In MSFP 2006 (July 2006)
|
| |
|
| |
J. Funct. Program., Vol. 11, No. 6. (2001), pp. 591-627.
|
| |
LISP and Symbolic Computation, Vol. 8, No. 4. (1 December 1995), pp. 293-341.
|
| |
Formalization of Programming Concepts (1981), pp. 1-43.
|
| |
Advanced Functional Programming (1999), pp. 28-115.
|
| |
SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27.
|
| |
Datatype-Generic Programming (2007), pp. 72-149.
|
| |
In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313.
|
| |
|
| |
J. Funct. Program., Vol. 11, No. 3. (2001), pp. 347-358.
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 25-36.
|
| |
In Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 133-141.
|
| |
|
| |
|
| |
Formal Program Development (1993), pp. 7-42.
|
| |
Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 613-641.
|
| |
In Symposium on Principles of Programming Languages (2000), pp. 119-132.
|
| |
In PADL '00: Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages (2000), pp. 263-277.
|
| |
ACM SIGPLAN Notices, Vol. 35, No. 9. (2000), pp. 268-279.
|
| |
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)
|
| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 71-84.
|
| |
J. Funct. Program., Vol. 8, No. 6. (November 1998), pp. 621-625.
|
| |
Journal of Functional Programming (1999)
|
| |
Automata, Languages and Programming (1976), pp. 257-284.
|
CiteULike
pedagand's CiteULike
Search
Export
