Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
60
59
h-index
2
2
i10-index
2
2
0
22
11
2018
2019
2020
2021
2022
2023
2024
1
5
11
10
7
21
5
Offentlig åtkomst
Visa alla
Visa alla
1 artikel
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Följ
Aliya Hameer
McGill University
Verifierad e-postadress på mail.mcgill.ca -
Startsida
Functional programming
Computer science education
Artiklar
Citeras av
Offentlig åtkomst
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
POPLMark reloaded: Mechanizing proofs by logical relations
A Abel, G Allais, A Hameer, B Pientka, A Momigliano, S Schäfer, K Stark
Journal of Functional Programming 29, e19
, 2019
41
2019
Teaching the art of functional programming using automated grading (experience report)
A Hameer, B Pientka
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-15
, 2019
19
2019
Teaching the Art of Functional Programming Using Automated Grading
A Hameer
McGill University (Canada)
, 2020
2020
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen