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 | 9351 reads
|
Browse archivesActive forum topics |
Recent comments
10 hours 32 sec ago
20 hours 42 min ago
1 day 4 hours ago
1 day 5 hours ago
1 day 6 hours ago
1 day 8 hours ago
1 day 9 hours ago
1 day 9 hours ago
1 day 15 hours ago
1 day 18 hours ago