Abubakar Hassan

According to our database, Abubakar Hassan authored at least 8 papers between 2007 and 2014.

Collaborative distances:

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

2014

An Implementation Model for Interaction Nets.

Abubakar Hassan, Ian Mackie, Shinya Sato

Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014

2010

A lightweight abstract machine for interaction nets.

Abubakar Hassan, Ian Mackie, Shinya Sato

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

Interaction Nets : Language and Design and Implementation.

Abubakar Hassan

PhD thesis, 2009

Compilation of Interaction Nets.

Abubakar Hassan, Ian Mackie, Shinya Sato

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

An Implementation of Nested Pattern Matching in Interaction Nets

Abubakar Hassan, Eugen Jiresch, Shinya Sato

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

2008

Interaction nets: programming language design and implementation.

Abubakar Hassan, Ian Mackie, Shinya Sato

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Visual Programming with Interaction Nets.

Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2007

Interaction Nets With Nested Pattern Matching.

Abubakar Hassan, Shinya Sato

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007