Catherine Hope

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

A functional semantics for space and time.

[BibT_eX]

[DOI]

PhD thesis, 2008

2006

Compact Fusion.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006

2005

Accurate Step Counting.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2005