Polytypic Values Possess Polykinded Types - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ralf Hinze. Polytypic Values Possess Polykinded Types. In Roland Carl Backhouse, José Nuno Oliveira, editors, Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings. Volume 1837 of Lecture Notes in Computer Science, pages 2-27, Springer, 2000.

The following publications are possibly variants of this publication:

Polytypic values possess polykinded typesRalf Hinze. SCP, 43(2-3):129-159, 2002. [doi]

Polytypic Functions Over Nested DatatypesRalf Hinze. dmtcs, 3(4):193-214, 1999. [doi]

runs on WebDSL