Index

A

actuate AFRP

Applicative Arrow

B

BearRiver

Behaviour black hole

C

causal CFRP

circuit network Clean

D

DCTP denotative continuous time programming

domain-specific language Dunai dynamic structure

E

E-FRP Elm embedding

Esterel Euterpea Event

F

FP FRP FRPNow! functional programming functional reactive programming

functional reactive programming, arrowized functional reactive programming, classic functional reactive programming, pull-based functional recative programming, push-based Functor

H

hybrid system

I

imperative programming

L

lifting

Lucid Synchrone Lustre

M

Monad Monad Transformer

Monadic Stream Function Monadic Streams MSF

N

Netwire

O

object-oriented programming

P

procedural programming

programming paradigm

R

reactimating Reactive Banana

reactive programming RT-FRP

S

sense SF Signal Signal Function Signal Network

simulation, deterministic simulation, non-deterministic space-leak state Switch

T

temporal time, continuous

time, discrete time, hybrid time-leak

U

Unity

W

white hole

widening wormholes

Y

Yampa