ICFP 2003: International Conference on Functional Programming - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003. ACM, 2003.
Colin Runciman, Olin Shivers, editors, Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003. ACM, 2003.

runs on WebDSL