[Haskell-cafe] What's this pattern called?

[Sebastian Fischer]

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.)