In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allow themselves to be traversed by accepting visitors. In the polymorphic lambda calculus (System F), tree-like data structures can be encoded as polymorphic higher-order functions. In this paper, we reconstruct the Visit...

Batch scheduling of conflicting jobs is modeled by batch coloring of a graph. Given an undirected graph and the number of colors required by each vertex, we need to find a proper batch coloring of the graph, i.e., partition the vertices to batches which are independent sets, and to assign to each batch a contiguous set of colors, whose size equals to the maximum color requirement of any vertex ...