Filters








51 Hits in 4.0 sec

Lambda in Motion: Controlling Robots with Haskell [chapter]

John Peterson, Paul Hudak, Conal Elliott
1998 Lecture Notes in Computer Science  
Frob (Functional Robotics) is a domain-specific language embedded in Haskell for robot control.  ...  We present our experiences using a purely functional language, Haskell, in what has been traditionally the realm of low-level languages: robot control.  ...  We have developed Frob (for Functional Robotics) as a domain-specific language, embedded in Haskell [PH97] , for use in robotic systems.  ... 
doi:10.1007/3-540-49201-1_7 fatcat:ayclf7e7qzatfg57asxflppckq

Arrows, Robots, and Functional Reactive Programming [chapter]

Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson
2003 Lecture Notes in Computer Science  
1 Yampa is a DSL embedded in Haskell and is a refinement of FRP.  ...  Yampa has been used to program real industrial-strength mobile robots [10, 8] 2 , building on earlier experience with FRP and Frob [11, 12] . In this paper, however, we will use a robot simulator.  ...  Also thanks to Greg Hager and Izzet Pembeci at Johns Hopkins, who believed enough in our ideas to try them out on real robots.  ... 
doi:10.1007/978-3-540-44833-4_6 fatcat:2ysdovmqizd4zddvlldfnmbdpy

The Semantic Layers of Timber [chapter]

Magnus Carlsson, Johan Nordlander, Dick Kieburtz
2003 Lecture Notes in Computer Science  
direct and succinct semantics of a complex, real-world programming language with well-defined real-time behavior.  ...  Our main contributions are a formalized notion of a time-constrained reaction, and a demonstration of how scheduling theory, process calculii, and the lambda calculus can be jointly applied to obtain a  ...  control [7] ).  ... 
doi:10.1007/978-3-540-40018-9_22 fatcat:wjtiptfdjjeplpmzmlc5j3u6tu

Live music programming in Haskell [article]

Henning Thielemann
2013 arXiv   pre-print
We aim for composing algorithmic music in an interactive way with multiple participants.  ...  To this end we have developed an interpreter for a sub-language of the non-strict functional programming language Haskell that allows the modification of a program during its execution.  ...  So-called functional reactive programming is a very popular approach for programming of animations, robot controls, graphical user interfaces and MIDI processing in Haskell [3] .  ... 
arXiv:1303.5768v1 fatcat:6aalxmx7jjfllhafb745swhjgq

Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability

Alvise Spanò, Agostino Cortesi
2020 Sensors  
to design and evaluate user–machine interaction prototypes in the robotic area.  ...  However, there is still a lack of support to interoperability features and the need of high-level tools to program the interaction of a robot with other devices.  ...  for controlling the robot in a sound way.  ... 
doi:10.3390/s20071926 pmid:32235639 fatcat:glogrnuug5gsfm7a5dehtr6st4

Domain specific languages [chapter]

2014 Chapman &Hall/CRC The R Series  
Moreover, we refer to [70] , which contains an interesting discussion contrasting a "domain as the real world" point of view as adopted in the artificial intelligence community, with a "domain as a set  ...  In this case, the DSL compiler is referred to as application generator in the literature [17], and the DSL as application-specific language.  ...  An earlier version of this paper appeared as Domain-Specific Languages: An Annotated Bibliography in ACM SIGPLAN Notices, 2000. We would like to thank Jan Heering from CWI for many useful remarks.  ... 
doi:10.1201/b17487-19 fatcat:tawg3zdbavclliat7ncl2vvd7e

Domain-specific languages

2008 2008 IEEE Symposium on Visual Languages and Human-Centric Computing  
Moreover, we refer to [70] , which contains an interesting discussion contrasting a "domain as the real world" point of view as adopted in the artificial intelligence community, with a "domain as a set  ...  In this case, the DSL compiler is referred to as application generator in the literature [17], and the DSL as application-specific language.  ...  An earlier version of this paper appeared as Domain-Specific Languages: An Annotated Bibliography in ACM SIGPLAN Notices, 2000. We would like to thank Jan Heering from CWI for many useful remarks.  ... 
doi:10.1109/vlhcc.2008.4639065 fatcat:s2c5dee2znfg3detp2wfs2gkzm

Domain-specific languages

2012 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)  
Moreover, we refer to [70] , which contains an interesting discussion contrasting a "domain as the real world" point of view as adopted in the artificial intelligence community, with a "domain as a set  ...  In this case, the DSL compiler is referred to as application generator in the literature [17], and the DSL as application-specific language.  ...  An earlier version of this paper appeared as Domain-Specific Languages: An Annotated Bibliography in ACM SIGPLAN Notices, 2000. We would like to thank Jan Heering from CWI for many useful remarks.  ... 
doi:10.1109/vlhcc.2012.6344498 fatcat:quacqrripnbk3eude4tuy2jjnu

Domain-specific languages

Arie van Deursen, Paul Klint, Joost Visser
2000 SIGPLAN notices  
Moreover, we refer to [70] , which contains an interesting discussion contrasting a "domain as the real world" point of view as adopted in the artificial intelligence community, with a "domain as a set  ...  In this case, the DSL compiler is referred to as application generator in the literature [17], and the DSL as application-specific language.  ...  An earlier version of this paper appeared as Domain-Specific Languages: An Annotated Bibliography in ACM SIGPLAN Notices, 2000. We would like to thank Jan Heering from CWI for many useful remarks.  ... 
doi:10.1145/352029.352035 fatcat:whmdcopenrbg5fybo4lkztwsye

The 1991 International Symposium on Laboratory Automation and Robotics

1991 Journal of Automatic Chemistry  
Their topics were, respectively, Jumping into the 20th century before it's too late; is laboratory robotics still in its infancy.), and 'Quality control in theyear 2000'.  ...  in early 1992 as 'Advances in Laboratory Automation and Robotics', Vol.  ...  With this information, the instrument controller can compensate for errors in the tray and tip positions, thereby improving the accuracy of robot motions in the wells.  ... 
doi:10.1155/s146392469100041x pmid:18924912 pmcid:PMC2547936 fatcat:f5cczy5dnrhsjhtx4oc2nqlafi

History and contributions of theoretical computer science [chapter]

John E. Savage, Alan L. Selman, Carl Smith
2002 Advances in Computers  
The impact of reseach in theoretical computer science is now being felt in the areas of Cryptography, Communication Networks, Multimedia and Graphical Systems, Parallel Computation, VLSI, Learning as well  ...  Theoretical computer science has also had influenced in Biology, Mathematics, Manufacturing and Astronomy.  ...  Finally, learning algorithms for automata have also been applied to robot motion planning.  ... 
doi:10.1016/s0065-2458(01)80029-2 fatcat:alyklxcv2vhcnaqiralwd2vf3q

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling [article]

Roberto Casadei
2022 arXiv   pre-print
Therefore, to foster principled research, an integrated view of the field is provided, together with opportunities and challenges.  ...  systems, and Internet-of-Things have provided renewed interest in macro-approaches.  ...  with novel and unified abstractions for controlling individual robots as well as teams of robots [...] and with the bulk of team management work being performed behind the scenes".  ... 
arXiv:2201.03473v1 fatcat:5c3fthlzind63pqngqxahlsxum

Tiled polymorphic temporal media

Paul Hudak, David Janin
2014 Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design - FARM '14  
Finally, we describe an elegant specification, implementation, and proof of key properties in Haskell, whose lazy evaluation is crucial for assuring the soundness of recursive tiles.  ...  A tiled PTM value has two synchronization marks that specify, via an effective notion of tiled product, how the tiled PTMs are positioned in time relative to one another, possibly with overlaps.  ...  Such a composition process is also desirable for certain classes of discrete automata, such as robot motions.  ... 
doi:10.1145/2633638.2633649 dblp:conf/icfp/HudakJ14 fatcat:pywx2nry5bdtpasq2zk3hdqpdm

Extending a functional programming system for embedded applications

Malcolm Wallace, Colin Runciman
1995 Software, Practice & Experience  
Interrupts I/O Processes Haskell Gofer  ...  By introducing a process model to a language, however, it becomes possible to express register-level device operations and interrupts in a modular manner.  ...  Were the process model to be adopted in a production Haskell compiler, far better performance could be expected.  ... 
doi:10.1002/spe.4380250105 fatcat:qlxq25dqt5frxhqcgty3em6xmy

Probabilistic modelling, inference and learning using logical theories

K. S. Ng, J. W. Lloyd, W. T. B. Uther
2008 Annals of Mathematics and Artificial Intelligence  
We show how probability densities, being functions, can be represented and reasoned with naturally and directly in higher-order logic, an expressive formalism not unlike the (informal) everyday language  ...  This paper provides a study of probabilistic modelling, inference and learning in a logic-based setting.  ...  Further, Bach allows reduction of terms inside lambda abstractions, an operation not permitted in Haskell.  ... 
doi:10.1007/s10472-009-9136-7 fatcat:p5py4cdzjvdcfo3zjg4uj3oiuu
« Previous Showing results 1 — 15 out of 51 results