Yampa
Yampa is a domain-specific embedded language for the programming of hybrid (discrete and continuous time) systems using the concepts of Functional Reactive Programming (FRP). Yampa is structured using Arrows, which greatly reduce the chance of introducing space- and time-leaks into reactive, time-varying systems. Yampa was originally developed by the Yale Haskell Group based on the original idea of Conal Elliott’s Fran.
Keywords for this software
References in zbMATH (referenced in 10 articles )
Showing results 1 to 10 of 10.
Sorted by year (- Perez, Ivan; Goodloe, Alwyn E.: Fault-tolerant functional reactive programming (extended version) (2020)
- Achten, Peter; van Eekelen, Marko; de Mol, Maarten; Plasmeijer, Rinus: EditorArrow: an arrow-based model for editor-based programming (2013)
- Liu, Hai; Cheng, Eric; Hudak, Paul: Causal commutative arrows (2011)
- Sculthorpe, Neil; Nilsson, Henrik: Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (2010)
- Liu, Hai; Cheng, Eric; Hudak, Paul: Causal commutative arrows and their optimization (2009)
- Rompf, Tiark; Maier, Ingo; Odersky, Martin: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (2009)
- Sculthorpe, Neil; Nilsson, Henrik: Safe functional reactive programming through dependent types (2009)
- Giorgidze, George; Nilsson, Henrik: Switched-on yampa (2008) ioport
- Nilsson, Henrik: Dynamic optimization for functional reactive programming using generalized algebraic data types (2005)
- Nilsson, Henrik: Functional automatic differentiation with Dirac impulses (2003)