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: 2.

Book section

King, Andy (1994) A Synergistic Analysis for Sharing and Groundness which traces Linearity. In: Sannella, D., ed. European Symposium on Programming. Lecture Notes in Computer Science, 788 . Springer-Verlag, pp. 363-378. ISBN 3-540-57880-3. (Full text available)
[img]
Preview

Conference or workshop item

Kahrs, Stefan and Sannella, D. (1998) Reflections on the design of a specification language. In: Astesiano, E., ed. Lecture Notes in Computer Science. Springer-Verlag Berlin pp. 154-170. ISBN 3-540-64303-6. (The full text of this publication is not available from this repository)

This list was generated on Thu Apr 17 19:31:52 2014 BST.