The escher document imaging model
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
TBAG: a high level framework for interactive, animated 3D graphics applications
SIGGRAPH '94 Proceedings of the 21st annual conference on Computer graphics and interactive techniques
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Pictures: a simple structured graphics model
FP'95 Proceedings of the 1995 international conference on Functional Programming
Parallel Functional Reactive Programming
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
FVision: A Declarative Language for Visual Tracking
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
A Domain Specific Language for Composable Memory Transactions in Java
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Loosely-coupled distributed reactive programming in mobile ad hoc networks
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Frenetic: a high-level language for OpenFlow networks
Proceedings of the Workshop on Programmable Routers for Extensible Services of Tomorrow
UPBOT: a testbed for cyber-physical systems
CSET'10 Proceedings of the 3rd international conference on Cyber security experimentation and test
Frenetic: a network programming language
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Keeping calm in the face of change
Higher-Order and Symbolic Computation
Declarative scripting in haskell
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Journal of Functional Programming - Dedicated to ICFP 2009
A hybrid visual dataflow language for coordination in mobile ad hoc networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Fixing idioms: a recursion primitive for applicative DSLs
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
PLPV '13 Proceedings of the 7th workshop on Programming languages meets program verification
Monadic functional reactive programming
Proceedings of the 2013 ACM SIGPLAN symposium on Haskell
| Hi-index | 0.00 |
We present our experiences using a purely functional language, Haskell, in what has been traditionally the realm of low-level languages: robot control. Frob (Functional Robotics) is a domain-specific language embedded in Haskell for robot control. Frob is based on Functional Reactive Programming (FRP), as initially developed for Fran, a language of reactive animations. Frob presents the interaction between a robot and its stimuli, both onboard sensors and messages from other agents, in a purely functional manner. This serves as a basis for composable high level abstractions supporting complex control regimens in a concise and reusable manner.