q-Derivatives of datatypes | Lambda the Ultimate

q-Derivatives of datatypes

q-Derivatives of datatypes are partially applied functorial maps.

By mikestay at 2014-08-05 07:58 | LtU Forum | previous forum topic | next forum topic | other blogs | 3316 reads

Browse archives

Active forum topics

New forum topics

Recent comments

Ah, cancel that request.
27 weeks 2 days ago
.
27 weeks 2 days ago
First-class link?
27 weeks 2 days ago
Video Presentation
49 weeks 3 days ago
Also published in ICFP
1 year 1 week ago
About identifiers...
1 year 3 weeks ago
Duplicate comment deleted.
1 year 3 weeks ago
Also true for postfix
1 year 5 weeks ago
That's all about the delimiters.
1 year 10 weeks ago
How about prefix notation?
1 year 10 weeks ago