| |
Computer Science Logic (2009), pp. 825-825.
|
| |
|
| |
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 228 (05 January 2009), pp. 21-36.
|
| |
|
| |
Types for Proofs and Programs (2002), pp. 727-727.
|
| |
|
| |
Fundamenta Informaticae, Vol. XXI (2001), pp. 1001-1032.
|
| |
In Symposium on Trends in Functional Programming (2007)
|
| |
J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107.
|
| |
|
| |
|
| |
|
| |
Datatype-Generic Programming (2007), pp. 209-257.
|
| |
|
| |
In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68.
|
| |
|
| |
In 6th Symposium on Trends in Functional Programming (September 2005)
|
| |
International Journal of Foundations of Computer Science, Vol. 20, No. 1. (2009), pp. 83-107.
|
| |
In The Fun of Programming (2003), pp. 245-262.
|
| |
|
| |
In Proc. CMCS 2006 (2006)
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 262-275.
|
| |
Generative Programming and Component Engineering (2004), pp. 136-167.
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 69-79.
|
| |
In Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) (1999), pp. 114-136.
|
| |
Mathematics of Program Construction (2008), pp. 268-283.
|
| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 143-156.
|
| |
J. Funct. Program., Vol. 16, No. 4-5. (2006), pp. 485-545.
|
| |
|
| |
|
| |
In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313.
|
| |
Scheme Workshop In International Conference of Functional Programming (30 September 2007)
|
| |
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 245-256.
|
| |
|
| |
In OSDI '06: Proceedings of the 7th symposium on Operating systems design and implementation (2006), pp. 45-60.
|
| |
Programming Languages and Systems (2007), pp. 520-535.
|
| |
|
| |
Journal of Automated Reasoning, Vol. 30, No. 3. (13 May 2003), pp. 271-321.
|
| |
In PPDP '07: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming (2007), pp. 1-12.
|
| |
In PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems (2006)
|
| |
In Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 133-141.
|
| |
|
| |
|
| |
Advanced Functional Programming (2005), pp. 130-170.
|
| |
In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 25-36.
|
| |
|
CiteULike
pedagand's CiteULike
Search
Export
