Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Amal Ahmed
Ameliorative Effect of Sugarcane (Blackstrap) Molasses Against Gamma Radiation or Manganese- Induced Testicular Toxicity in Male Albino Rats
Egyptian Journal of Radiation Sciences and Applications
The Next 700 Compiler Correctness Theorems (Functional Pearl)
Proceedings of the ACM on Programming Languages
Theorems for Free for Free: Parametricity, With and Without Types
Proceedings of the ACM on Programming Languages
Recent Updates in Treatment of Diabetic Neuropathy
Records of Pharmaceutical and Biomedical Sciences
Imperative Self-Adjusting Computation
ACM SIGPLAN Notices
Computer Science
The Logical Approach to Stack Typing
ACM SIGPLAN Notices
Parametric Polymorphism Through Run-Time Sealing Or, Theorems for Low, Low Prices!
