×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of jeremy-gibbons
Efficient parallel algorithms for tree accumulations
214 views
Metamorphisms: Streaming representation-changers
214 views
Generic downwards accumulations
216 views
Computing downwards accumulations on trees quickly
214 views
When is a function a fold or an unfold?
214 views
Integrated Formal Methods, 6 conf., IFM 2007
235 views