The Mercury Language Reference Manual (1996)

by Fergus Henderson , Thomas Conway , Zoltan Somogyi , David Jeffery , Peter Schachte , Simon Taylor , Chris Speirs
Citations:29 - 13 self

Documents Related by Co-Citation

193 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
1318 Monads for functional programming – Philip Wadler - 1995
758 Transactional Memory: Architectural Support for Lock-Free Data Structures – Maurice Herlihy, J. Eliot B. Moss
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
1223 Tcl and the Tk Toolkit – John K. Ousterhout - 1994
1481 Theory of Linear and Integer Programming – A Schrijver - 1998
579 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
1862 Foundations of Logic Programming – J W Lloyd - 1987
779 The Java Programming Language – Ken Arnold, James Gosling, David Holmes - 2000