nominal (hackage): An efficient and easy-to-use library for defining datatypes with binders, and automatically handling bound variables and alpha-equivalence. It is based on Gabbay and Pitts's theory of nominal sets.
Keywords: compilers-interpreters|generics|gpl|language|library