An Operational Semantics for I/O in a Lazy Functional Language (1993)

Cached

Download Links

by Andrew D. Gordon
Venue:in Proc Functional Programming Languages and Computer Architecture
Citations:9 - 3 self

Active Bibliography

2 Graphical application and visualization of lazy functional computation – Sandra Periam Foubister - 1995
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
15 Functional Languages and Graphical User Interfaces -- a review and a case study – Rob Noble , Colin Runciman - 1994
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
96 How to Declare an Imperative – Philip Wadler - 1995
21 A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types – Alan Jeffrey - 1995
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
7 Deterministic Concurrency – David Paul Carter - 1993
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
39 Querying Nested Collections – Limsoon Wong - 1994
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
27 A Tutorial on Co-induction and Functional Programming – Andrew D. Gordon - 1994
13 Realtime Signal Processing -- Dataflow, Visual, and Functional Programming – Hideki John Reekie - 1995
3 Classes and Objects as Basis for I/O in SAC – Clemens Grelck, Sven-Bodo Scholz - 1998
14 What is a Purely Functional Language? – Amr Sabry - 1998
Lecture Notes – Augusti Programming, Thomas Hallgren, Magnus Carlsson - 1995
6 Programming Reactive Systems in Haskell – Sigbjørn Finne, Simon Peyton Jones - 1994
4 On Conservativity of Concurrent Haskell – David Sabel, Manfred Schmidt-schauss - 2011