Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Monograph | Conference or workshop item | Thesis
Number of items: 5.

Monograph

Telford, Alastair and Turner, David (2000) A Hierarchy of Languages with Strong Termination Properties. Technical report. University of Kent, The Computing Laboratory, The University, Canterbury, Kent, CT2 7NF
[img] [img]
Preview

Telford, Alastair and Turner, David (1997) Ensuring the Productivity of Infinite Structures. Technical report. University of Kent, Canterbury, Kent, CT2 7NF, UK
[img] [img]
Preview

Telford, Alastair and Thompson, Simon (1996) Abstract Interpretation of Constructive Type Theory. Technical report. UKC, University of Kent, Canterbury, UK
[img]
Preview
[img]
Preview

Conference or workshop item

Telford, Alastair and Turner, David (1997) Ensuring Streams Flow. In: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney Australia, December 1997.
[img]
Preview
[img]
Preview

Thesis

Telford, Alastair (1995) Static Analysis of Martin-L''of's Intuitionistic Type Theory. PhD thesis, The Computing Laboratory, University of Kent at Canterbury.
[img]
Preview
[img]
Preview

This list was generated on Wed May 22 16:51:29 2013 BST.
University of Kent | About this repository | Feedback | Latest additions