22 Oct
2009
22 Oct
'09
4:07 a.m.
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.)