Context-parametric polykinded types

Pablo Nogueira. Context-parametric polykinded types. In Ralf Hinze, editor, Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006. pages 45-54, ACM, 2006. [doi]

Abstract

Abstract is missing.