User loginNavigation |
Type-Level Computation Using Narrowing in OmegaHaven't seen this paper by Tim Sheard mentioned on Ltu before. As in previous papers Sheard tries to put Howard Curry to work in terms that are understandable for those that don't have a Phd in type theory.
By Niels Hoogeveen at 2007-02-08 20:21 | Functional | Meta-Programming | Type Theory | other blogs | 6964 reads
|
Browse archives
Active forum topics
|
Recent comments
16 weeks 2 days ago
20 weeks 4 days ago
22 weeks 1 day ago
22 weeks 1 day ago
24 weeks 6 days ago
29 weeks 3 days ago
29 weeks 3 days ago
29 weeks 6 days ago
29 weeks 6 days ago
32 weeks 5 days ago