archives

Lambda Cube and programming languages

I've been reading about the Lambda cube type scheme of Henk Barendregt and found it interesting if a little obscure. Does anyone know of any languages that implement the "full cube" (the 8th corner of the cube). I'm familiar with Haskell but I don't think it has dependent types (axis 2 IIRC).

By Gregory Propf at 2009-07-19 02:03 | LtU Forum | 4 comments | other blogs | 11752 reads