Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by PETER GAMMIE
Short Note: Strict Unwraps Make Worker/Wrapper Fusion Totally Correct
Journal of Functional Programming
Software
Related publications
The Worker/Wrapper Transformation
Journal of Functional Programming
Software
Totally Correct Logic Program Transformations via Well-Founded Annotations
Higher-Order and Symbolic Computation
Do Strict Land Use Regulations Make Metropolitan Areas More Segregated by Income?
Journal of the American Planning Association
Development
Urban Studies
Planning
Geography
ECG Challenge: Can You Make the Correct Morphology, Pathology, and Rhythm Diagnoses?
Circulation
Cardiovascular Medicine
Physiology
Cardiology
A Short Proof of Tutte's Characterization of Totally Unimodular Matrices
Linear Algebra and Its Applications
Numerical Analysis
Algebra
Combinatorics
Number Theory
Geometry
Discrete Mathematics
Topology
A Note on Strict Feasibility and Solvability for Pseudomonotone Equilibrium Problems
Journal of Nonlinear Science and Applications
Number Theory
Analysis
Algebra
How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
2. A Short Biographical Note
A Short Note on Prime Submodules
Algebraic Structures and their Applications
Applied Mathematics
Number Theory
Algebra
