M. Dowse, A. Butterfield, M. van Eekelen , M. de Mol , R. Plasmeijer

Cached

Download Links

by Nijmegen Institute For , M. Dowse , A. Butterfield , M. Van Eekelen , M. De Mol , R. Plasmeijer , Malcolm Dowse

Active Bibliography

5 Eekelen. Reasoning About Deterministic Concurrent Functional I/O – Malcolm Dowse, Andrew Butterfield - 2005
1 Modelling Deterministic Concurrent I/O – Malcolm Dowse
2 Concurrent Interactive Processes in a Pure Functional Language – Peter Achten, Rinus Plasmeijer - 1995
5 Composing the user interface with Haggis – Sigbjorn Finne, Simon Peyton Jones - 1996
7 Relating Operational and Denotational Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1999
Virtualizing Real-World Objects in FRP – Daniel Winograd-cort, Hai Liu, Paul Hudak - 2011
Theorem Proving for Functional Programmers – Sparkle Functional Theorem, Maarten De Mol, Marko Van Eekelen, Rinus Plasmeijer - 2002
45 A history of Haskell: Being lazy with class – Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler - 2007
11 Dynamic optimization for functional reactive programming using generalized algebraic data types – Henrik Nilsson - 2005
BriX - A Deterministic Concurrent Functional X Windows System – Pascal Serrarens - 1995
September 1999 CSPHD – University Of Bristol, Eleni Spiliopoulou - 1999
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
3 Classes and Objects as Basis for I/O in SAC – Clemens Grelck, Sven-Bodo Scholz - 1998
5 The implementation of interactive local state transition systems in Clean – Peter Achten, Rinus Plasmeijer - 1999
4 A Framework for Deterministically Interleaved Interactive Programs in the Functional Programming Language Clean – Peter Achten, Rinus Plasmeijer - 1994
21 Interactive Functional Objects in Clean – Peter Achten, Rinus Plasmeijer - 1997
21 Porting the Clean Object I/O Library to Haskell – Peter Achten, Simon Peyton Jones - 2000
88 Forms/3: A First-Order Visual Language to Explore the Boundaries of the Spreadsheet Paradigm – Margaret Burnett, John Atwood, Rebecca Walpole Djang, Herkimer Gottfried, James Reichwein, Sherry Yang
3 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011