Catherine Hope

According to our database, Catherine Hope authored at least 3 papers between 2005 and 2008.

Collaborative distances:

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

2008

A functional semantics for space and time.

Catherine Hope

PhD thesis, 2008

2006

Compact Fusion.

Catherine Hope, Graham Hutton

Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006

2005

Accurate Step Counting.

Catherine Hope, Graham Hutton

Proceedings of the Implementation and Application of Functional Languages, 2005