114 search results - page 9 / 23 » Haskell: batteries included |
FUIN
2006
13 years 7 months ago
2006
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., vi...
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
—LabRatTM is an autonomous, self-contained mobile robot kit with batteries, motors, two bumper whisker sensors, and three infrared proximity sensors that double as channels for &...
FECS
2010
13 years 5 months ago
2010
: This paper presents an experimental module for teaching finite state machine concepts. This module is designed for use in a lecture-based course that does not currently have a la...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
Cellular radio communication is a significant contributor to battery energy drain on smartphones, in some cases inflating the energy cost by a factor of 5 or more compared to the ...