1. Augustsson, L.: Announcing Djinn, version 2004-12-11, a coding wizard (2005), http://permalink.gmane.org/gmane.comp.lang.haskell.general/12747
2. Benke, M., Dybjer, P., Jansson, P.: Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing 10(4), 265–289 (2003)
3. Cheney, J., Hinze, R.: First-class phantom types. Technical report, Cornell University (2003)
4. Claessen, K., Hughes, J.: QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In: ICFP 2000, pp. 286–279 (2000)
5. Dyckhoff, R.: Contraction-free sequent calculi for intuitionistic logic. The Journal of Symbolic Logic 57(3), 795–807 (1992)