22 citations · 22 across the 2 of their papers we have counts for
2 papers
cs.LO2009
Programming interfaces and basic topology
Peter Hancock, Pierre Hyvernat
A pattern of interaction that arises again and again in programming is a "handshake", in which two agents exchange data. The exchange is thought of as provision of a service. Each…
cs.DS2009★ 22 cited
Representations of Stream Processors Using Nested Fixed Points
Neil Ghani, Peter Hancock, Dirk Pattinson
We define representations of continuous functions on infinite streams of discrete values, both in the case of discrete-valued functions, and in the case of stream-valued functions.…