Modelling Deterministic Concurrent I/O

Cached

Download Links

by Malcolm Dowse
Citations:1 - 0 self

Active Bibliography

4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 Bisimilarity for the region calculus – Simon Helsen
5 Programmable Concurrency in a Pure and Lazy Language – Peng Li, Steve Zdancewic, Rajeev Alur - 2008
2 An effect system and language for DETERMINISTIC-BY-DEFAULT PARALLEL PROGRAMMING – Robert L. Bocchino - 2010
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
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
96 How to Declare an Imperative – Philip Wadler - 1995
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007
18 Implicitly-threaded parallelism in Manticore – Matthew Fluet, Mike Rainey, John Reppy, Adam Shaw - 2008
14 Safe and flexible memory management in Cyclone – Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim - 2003
7 Safe Manual Memory Management in Cyclone – Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
30 Experience with safe manual memory-management in cyclone – Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim - 2004
26 Gadgets: Lazy Functional Components for Graphical User Interfaces – Rob Noble, Colin Runciman - 1995
1st Year Transfer Dissertation – Joel Wright - 2003
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004