Aliya Hameer is an author at McGill University specializing in program analysis, programming languages, and software analysis.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisProgramming LanguagesDesignEducationVerificationStem Education
Publications per year
2019–2019
2
2
POPLMark reloaded: Mechanizing proofs by logical relations
Andreas Abel, Guillaume Allais, Aliya Hameer et al. · Journal of Functional Programming · 2019 · 30 citations · Full text
Rows per page
1–2 of 2