| |
In GPCE '03: Proceedings of the 2nd international conference on Generative programming and component engineering (2003), pp. 37-56.
|
| |
Types for Proofs and Programs (1996), pp. 135-152.
|
| |
INRIA ROCQUENCOURT (1998)
|
| |
In POPL 2002 (2002), pp. 247-259.
|
| |
Central European Functional Programming School (2006), pp. 135-167.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284.
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 249-258.
|
| |
Softw. Pract. Exper., Vol. 25, No. 1. (1995), pp. 73-96.
|
| |
In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 49-60.
|
| |
In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming (2008), pp. 163-173.
|
| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
|
| |
In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740.
|
| |
Types for Proofs and Programs (2006), pp. 186-200.
|
| |
Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554.
|
| |
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.
|
| |
Information Processing Letters, Vol. 22, No. 3. (03 March 1986), pp. 141-144.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 191-202.
|
| |
In FDPE '08: Proceedings of the 2008 international workshop on Functional and declarative programming in education (2008), pp. 21-30.
|
| |
J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 1-2.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 245-256.
|
| |
|
| |
Programming Languages and Systems (2008), pp. 93-107.
|
| |
Journal of Functional Programming, Vol. 17, No. 4-5. (2007), pp. 473-546.
|
| |
Logical Methods in Computer Science, Vol. 4, No. 4. (29 November 2008)
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 366-378.
|
| |
Journal of Functional Programming, Vol. 11, No. 5. (2001), pp. 525-556.
|
| |
Annals of Pure and Applied Logic, Vol. 153, No. 1-3. (April 2008), pp. 66-96.
|
| |
In SFCS '85: Proceedings of the 26th Annual Symposium on Foundations of Computer Science (1985), pp. 339-345.
|
| |
SIGPLAN Not., Vol. 24, No. 7. (1989), pp. 192-206.
|
| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 253-264.
|
| |
Acta Informatica, Vol. 21, No. 3. (1 October 1984), pp. 239-250.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 155 (12 May 2006), pp. 521-542.
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation (2003), pp. 38-49.
|
| |
J. of Functional Programming, Vol. 3, No. 04. (1993), pp. 553-561.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 228 (05 January 2009), pp. 69-84.
|
| |
Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368.
|
| |
Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176.
|
| |
Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on In Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on (2005), pp. 249-258.
|
| |
Functional Programming Languages and Computer Architecture (1985), pp. 113-128.
|
| |
Lecture Notes in Computer Science, pp. 1-41.
|
| |
In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
Lecture Notes in Computer Science, Vol. 3945 (January 2006), pp. 208-225.
|
| |
In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212.
|
| |
|
| |
|
Search
