Implicit and Explicit Parallel Programming in Haskell (1993)

by Mark P. Jones , Paul Hudak
Citations:31 - 1 self

Active Bibliography

1353 Monads for functional programming – Philip Wadler - 1995
467 Comprehending Monads – Philip Wadler - 1992
715 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
642 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
599 A Survey of Rollback-Recovery Protocols in Message-Passing Systems – E. N. ( Mootaz) Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson - 1996
701 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
506 An introduction to input/output automata – Nancy A. Lynch, Mark R. Tuttle - 1989
1246 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
761 Visual reconstruction – Andrew Blake, Andrew Zisserman - 1987