Takip et
Musa Al-hassy
Musa Al-hassy
McMaster University
mcmaster.ca üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
A language feature to unbundle data at will (short paper)
M Al-hassy, J Carette, W Kahl
Proceedings of the 18th ACM SIGPLAN International Conference on Generative …, 2019
92019
A Mechanisation of Internal Galois Connections In Order Theory Formalised Without Meets
M Al-hassy
22015
Do-it-Yourself Module Systems
M Al-hassy
12021
next-700-module-systems
M Al-hassy
12019
Order Theory and Concept Lattices in Ordered Categories Without Meets, Formalised in Agda AContext-2.1
W Kahl, M Al-hassy
2015
Order Theory and Concept Lattices in Ordered Categories Without Meets AContext-2.0
W Kahl, M Al-hassy
2015
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets
M Al-hassy, W Kahl
Relational and Algebraic Methods in Computer Science: 15th International …, 2015
2015
3EA3 Lecture 0: Introduction
M Al-hassy
3EA3 Lecture 2: Programming is Planning
M Al-hassy
3EA3 Lecture 3: Programming vs Coding
M Al-hassy
3EA3 Lecture 1: Why Program Proving?
M Al-hassy
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–11