output
20092026
most citedPolynomial Size Analysis of First-Order Shapely Functions

40 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2009Show all

1 paper · 1 filter

cs.LO2009★ 40 cited

Polynomial Size Analysis of First-Order Shapely Functions

Olha Shkaravska, Marko van Eekelen, Ron van Kesteren

We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly by…