| |
Formal Aspects of Computing, Vol. 6 (1994), pp. 440-465.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 229-240.
|
| |
|
| |
In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359.
|
| |
In In Haskell Workshop, Vol. 41 (2000), pp. 12-1.
|
| |
In Principles of Programming Languages (1987)
|
| |
In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740.
|
| |
|
| |
J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 1-82.
|
| |
|
| |
|
| |
In PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2007), pp. 112-121.
|
| |
J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
|
| |
|
| |
Advanced Functional Programming (1999), pp. 240-267.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 66-77.
|
| |
ACM Transactions on Computer-Human Interaction
|
| |
In Proceedings of the ACM Conference on Computer Supported Cooperative Work ({CSCW}'92) (1992), pp. 273-280.
|
| |
|
| |
|
| |
|
| |
|
| |
Bull. Amer. Math. Soc., Vol. 53 (1947), 509.
|
| |
|
| |
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38.
|
| |
In Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99) (1999), pp. 295-309.
|
| |
|
| |
|
Search
