CSense: A Stream-Processing Toolkit for Robust and High-Rate Mobile Sensing Applications
Getting F-Bounded Polymorphism into Shape