User loginNavigation |
Comprehending Ringads
Comprehending Ringads
2016 by Jeremy Gibbons Ringad comprehensions represent a convenient notation for expressing database queries. The ringad structure alone does not provide a good explanation or an efficient implementation of relational joins; but by allowing heterogeneous comprehensions, involving both bag and indexed table ringads, we show how to accommodate these too.Indexed/parametric/graded monads are the key (read the paper to understand the pun). By Andris Birkmanis at 2018-05-05 02:59 | Category Theory | Semantics | Type Theory | other blogs | 37781 reads
|
Browse archives
Active forum topics |
Recent comments
34 weeks 5 days ago
34 weeks 5 days ago
34 weeks 5 days ago
1 year 4 weeks ago
1 year 9 weeks ago
1 year 10 weeks ago
1 year 10 weeks ago
1 year 13 weeks ago
1 year 18 weeks ago
1 year 18 weeks ago