"Settable and non-interfering signal functions for FRP: how a first-order ..."

Daniel Winograd-Cort, Paul Hudak (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics