GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood.Foundations for Structured Programming with GADTs | Lambda the Ultimate
Blogged with Flock
Posts
