Articles with public access mandates - Nada AminLearn more
Available somewhere: 18
The Essence of Dependent Object Types
N Amin, S Grütter, M Odersky, T Rompf, S Stucki
A List of Successes That Can Change the World, 249-272, 2016
Mandates: Swiss National Science Foundation, European Commission
Type soundness proofs with definitional interpreters
N Amin, T Rompf
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
Mandates: US National Science Foundation, Swiss National Science Foundation
Type soundness for dependent object types (dot)
T Rompf, N Amin
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
Mandates: US National Science Foundation, European Commission
Foundations of path-dependent types
N Amin, T Rompf, M Odersky
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
Mandates: European Commission
Java and scala's type systems are unsound: the existential crisis of null pointers
N Amin, R Tate
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
Mandates: US National Science Foundation, European Commission
Biolink Model: A universal schema for knowledge graphs in clinical, biomedical, and translational science
DR Unni, SAT Moxon, M Bada, M Brush, R Bruskiewich, JH Caufield, ...
Clinical and translational science 15 (8), 1848-1855, 2022
Mandates: US Department of Energy, US National Institutes of Health
Reasoning about “Reasoning about Reasoning”: Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion
Y Zhang, N Amin
Proceedings of the ACM on Programming Languages 6 (POPL), 2022
Mandates: Natural Sciences and Engineering Research Council of Canada
Collapsing Towers of Interpreters
N Amin, T Rompf
PACML 2 (POPL), 2018
Mandates: US National Science Foundation, US Department of Energy, US Department of …
LMS-verify: Abstraction without regret for verified systems programming
N Amin, T Rompf
44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2017
Mandates: US National Science Foundation, Swiss National Science Foundation
Versatile event correlation with algebraic effects
O Bračevac, N Amin, G Salvaneschi, S Erdweg, P Eugster, M Mezini
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018
Mandates: German Research Foundation, European Commission
Progress toward a universal biomedical data translator
K Fecho, AE Thessen, SE Baranzini, C Bizon, JJ Hadlock, S Huang, ...
Clinical and Translational Science 15 (8), 1838-1847, 2022
Mandates: US National Science Foundation, US National Institutes of Health
The Precision Medicine Process for Treating Rare Disease Using the Artificial Intelligence Tool mediKanren
A Foksinska, CM Crowder, AB Crouse, J Henrikson, WE Byrd, ...
Frontiers in Artificial Intelligence, 166, 2022
Mandates: US National Institutes of Health
Lightweight functional logic meta-programming
N Amin, WE Byrd, T Rompf
Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019
Mandates: US National Science Foundation, US Department of Energy, US Department of …
A SQL to C compiler in 500 lines of code
T Rompf, N Amin
Journal of Functional Programming 29, 2019
Mandates: US National Science Foundation, US Department of Energy, European Commission
Datalog-based systems can use incremental SMT solving
A Bembenek, M Ballantyne, M Greenberg, N Amin
Proc. 36th Int. Conf. Log. Program, 2020
Mandates: US Department of Defense
Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion
Y Zhang, N Amin
Technical Report CS-2021-02. School of Computer Science, University of …, 2021
Mandates: Natural Sciences and Engineering Research Council of Canada
Stoic: Towards Disciplined Capabilities
F Liu, S Stucki, N Amin, PG Giarrusso, M Odersky
Mandates: Swiss National Science Foundation
mediKanren: a System for Biomedical Reasoning
M ZHENG, A JAIN, M BALLANTYNE, K ZHANG, M CHEN, J WHITLOCK, ...
Mandates: US Department of Energy, US National Institutes of Health
Publication and funding information is determined automatically by a computer program