3 ms·
Q: "What’s the derivative of a data structure anyway?" A: The Derivative of a Regular Type is its Type of One-Hole Contexts http://strictlypositive.org/diff.pdf
by scentoni 12y ago
Q: "What’s the derivative of a data structure anyway?"
A: The Derivative of a Regular Type is its Type of One-Hole Contexts http://strictlypositive.org/diff.pdf http://strictlypositive.org/diff.pdf
- agumonkey 12y agoAmazing, I was looking for such a paper for a long time.