Hi Martijn,
On Oct 22, 2009, at 9:47 AM, Martijn van Steenbergen wrote:
I've heard fixed-point view, open datatypes and some others, but I'm
curious where this pattern comes up in literature and what it is
called there.
Tim Sheard and Emir Pasalic call this technique "two-level types" in
their JFP'04 paper Two-Level Types and Parameterized Modules:
http://homepage.mac.com/pasalic/p2/papers/JfpPearl.pdf
Cheers,
Sebastian
--
Underestimating the novelty of the future is a time-honored tradition.
(D.G.)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
