We are investigating McBride’s idea that the type of one-hole contexts are the formal derivative of a functor from a categorical perspective. Exploiting our recent work on containers we are able to characterise derivatives by a universal property and show that the laws of calculus including a rule for initial algebras as presented by McBride hold — hence the differentiable containers include th...

We propose Janus | a C++ template library of container classes and communication primitives for parallel dynamic mesh applications. The paper focuses on two phase containers that are a central component of the Janus framework. These containers are quasi-constant, i.e., they have an extended initialization phase after which they provide read-only access to their elements. Two phase containers ar...

ABOUT THE COVER " I think of my work as an inhabited landscape, never static or empty…. The wind ruffles; ants crawl; a rabbit burrows " (1). A painter of Salish, French-Cree, and Shoshone heritage, Jaune Quick-to-See Smith was born in St. Ignatius, Montana, and raised on the Flathead Reservation. She studied art at the University of New Mexico, but her personal aesthetic and her poetic associa...

Recent shipping amount in maritime transportation keeps growing, and efficient material handling operations at marine ports becomes important issue. In many cases, containers are used for transportation of cargos, and thus the growth of shipping amount leads to the growth of the number of containers. In a marine port, containers are shifted between seaborn and landside transportation at contain...