Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nada Amin
Type Soundness Proofs With Definitional Interpreters
Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography
Related publications
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Standard Type Soundness for Agents and Artifacts
Scientific Annals of Computer Science
Applied Mathematics
Computer Science
Simple Proofs of Bernstein-Type Inequalities
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Industry Soundness
Journal of the American Water Works Association
Water Science
Chemistry
Technology
Simple Proofs of the Cusa-Huygens-Type and Becker-Stark-Type Inequalities
Journal of Mathematical Inequalities
Analysis
Definitional Reflection and the Completion
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Interpreters’ Identities: An Exploratory Study of Vietnamese Interpreters in Vietnam
TranscUlturAl: A Journal of Translation and Cultural Studies
Coinductive Big-Step Operational Semantics for Type Soundness of Java-Like Languages
Training Healthcare Professionals to Work With Interpreters
British Journal of General Practice
Medicine
Family Practice
