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
Number of items: 3.

Article

Thompson, S. and Lins, R.D. (1992) The categorical multi-combinator machine - cmcm. Computer Journal, 35 (2). pp. 170-176. ISSN 0010-4620. (Full text available)
[img]
Preview
[img]
Preview

Conference or workshop item

Thompson, S. and Hill, S. (1995) Functional programming through the curriculum. In: 1st International Symposium on Functional Programming Languages in Education (FPLE 95), Dec 04-06, 1995, Nijmegen, Netherlands. (Full text available)
[img]
Preview
[img]
Preview

Book

Bowman, H. and Thompson, S. (1998) A tableau method for interval temporal logic with projection. Springer-Verlag Berlin ISBN 3-540-64406-7. (The full text of this publication is not available from this repository)

This list was generated on Mon Apr 21 13:44:04 2014 BST.