Musa Al-hassy

According to our database, Musa Al-hassy authored at least 2 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A language feature to unbundle data at will (short paper).

Musa Al-hassy, Jacques Carette, Wolfram Kahl

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

2015

Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets.

Musa Al-hassy, Wolfram Kahl

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015