Representing Contractive Functions on Streams (Extended Version) (2011)

by Graham Hutton
Venue:UNDER CONSIDERATION FOR PUBLICATION IN THE JOURNAL OF FUNCTIONAL PROGRAMMING

Active Bibliography

1 Representing Contractive Functions on Streams – Graham Hutton - 2011
641 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
459 Comprehending Monads – Philip Wadler - 1992
382 A Query Language and Optimization Techniques for Unstructured Data – Peter Buneman, Susan Davidson, Gerd Hillebrand, Dan Suciu - 1996
362 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
351 Specifying Distributed Software Architectures – Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer - 1995
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
333 Theorems for free! – Philip Wadler - 1989