User loginNavigation |
Lambda Cube and programming languagesI'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 | previous forum topic | next forum topic | other blogs | 10456 reads
|
Browse archives
Active forum topics |
Recent comments
1 week 2 days ago
5 weeks 4 days ago
6 weeks 1 day ago
6 weeks 1 day ago
8 weeks 1 day ago
8 weeks 1 day ago
8 weeks 3 days ago
8 weeks 3 days ago
9 weeks 3 days ago
10 weeks 2 days ago