Fault-tolerant functional reactive programming (extended version)

DOI10.1017/S0956796820000118zbMath1482.68083OpenAlexW3022173246MaRDI QIDQ5120226

Iván Pérez, Alwyn E. Goodloe

Publication date: 9 September 2020

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796820000118

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• PVS
• Haskell
• LUSTRE
• Yampa
• seL4
• Esterel
• Fran
• Copilot

Cites Work

• A functional theory of exceptions
• Generalising monads to arrows
• Coeffects
• The Byzantine Generals Problem
• Fault-Tolerant Systems
• Programming and reasoning with algebraic effects and dependent types
• Functional reactive animation
• Transparent fault tolerance for scalable functional computation
• Parametric effect monads and semantics of effect systems
• FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
• Distributed Computing
• Unnamed Item
• Unnamed Item

This page was built for publication: Fault-tolerant functional reactive programming (extended version)