Lazy Imperative Programming (1993)


Download Links

by John Launchbury
Venue:Yale University
Citations:29 - 5 self

Active Bibliography

Verifying Arithmetic Hardware in Higher-Order Logic – unknown authors
Parsec: A practical parser library – Daan Leijen, Erik Meijer - 2001
1 Reusable Ada libraries supporting infinite data structures – Arthur G. Duncan - 1998
1 A Recursive Approach to Multivariate Automatic – Dan Kalman, Robert Lindell - 1995
2 Formal Methods within A Totally Functional Approach to Programming”, to appear – Paul A. Bailes, Colin J. M. Kemp
5 Two Models For Integrating Persistence and Lazy Functional Languages – David J. McNally, Antony J. T. Davie - 1991
Pattern Systems and Methodologies for Multiparadigm Analysis and Design – Charles D. Knutson - 1998
12 The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations – Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle - 1997
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
98 ECLiPSe: A Platform for Constraint Logic Programming – Mark Wallace, Stefano Novello, Joachim Schimpf - 1997
Improved Distributed Exploration of Anonymous Networks – Shantanu Das, Shay Kutten, Ayelet Yifrach
Conditioned Slicing – David Jong-hoon An - 2007
4 Scheduling for Horizontal Systems: The VLIW Paradigm in Perspective – Franco Gasperoni, Franco Gasperoni - 1991
Towards an Automatic Derivation of Tarjan’s Algorithm for Detecting Strongly Connected Components in Directed Graphs – H. L. A. van der Spek - 2006
6 A Sub-Quadratic Algorithm for Conjunctive and Disjunctive BESs – Jan Friso Groote, Misa Keinänen - 2004
3 Incremental Topological Ordering and Strong Component Maintenance – Bernhard Haeupler, Siddhartha Sen, Robert E. Tarjan - 2008
5 Functional Graph Algorithms with Depth-First Search (Preliminary Summary) – David J. King, John Launchbury - 1993
7 Incremental evaluation of tabled prolog: Beyond pure logic programs – Diptikalyan Saha, C. R. Ramakrishnan - 2006
2 Incremental Cycle Detection, Topological Ordering, and Strong Component Maintenance – Bernhard Haeupler, Telikepalli Kavitha, Rogers Mathew, Siddhartha Sen, Robert E. Tarjan - 2008