Type-theoretic design patterns

Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson. Type-theoretic design patterns. In Ralf Hinze, editor, Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006. pages 13-22, ACM, 2006. [doi]

Abstract

Abstract is missing.