— Robotic manipulators on ships and platforms suffer from large inertial forces due to the non-inertial motion of the ship or platform. When operating in high sea state, operatio...
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
Abstract—Most researchers conduct wireless networking experiments in their laboratory or similar indoor environments. Such environments are veritable RF jungles, especially when ...
T. Ryan Burchfield, Ehsan Nourbakhsh, Jeff Dix, Ku...
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
Joel Auslander, Matthai Philipose, Craig Chambers,...