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 | 9974 reads
|
Browse archivesActive forum topics |
Recent comments
6 weeks 6 days ago
7 weeks 1 day ago
7 weeks 2 days ago
14 weeks 2 days ago
20 weeks 14 hours ago
20 weeks 1 day ago
21 weeks 14 hours ago
23 weeks 5 days ago
25 weeks 1 day ago
25 weeks 2 days ago