4 citations · 4 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022
Your Blockchain Needn't Care How the Message is Spread
Wolfgang Jeltsch, Javier Díaz
In a blockchain system, nodes regularly distribute data to other nodes. The ideal perspective taken in the scientific literature is that data is broadcast to all nodes directly, wh…
cs.PL2014★ 4 cited
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
Wolfgang Jeltsch
Functional reactive programming (FRP) makes it possible to express temporal aspects of computations in a declarative way. Recently we developed two kinds of categorical models of F…