A Structural Approach to Reversible Computation (2001)

by Samson Abramsky
Venue:Theoretical Computer Science
Citations:18 - 3 self

Active Bibliography

1311 Monads for functional programming – Philip Wadler - 1995
457 Comprehending Monads – Philip Wadler - 1992
536 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
731 Notions of Computation and Monads – Eugenio Moggi - 1991
879 Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer – Peter W. Shor - 1997
805 Algorithms for Quantum Computation: Discrete Logarithms and Factoring – Peter W. Shor - 1994
634 A Survey of Program Slicing Techniques – F. Tip - 1995
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992