Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Proof, language, and interaction : essays in honour of Robin Milner / edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte.

by Plotkin, G. (Gordon), 1946- | Tofte, Mads | Stirling, Colin P | Milner, R. (Robin), 1934-2010 | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available

The definition of standard ML / Robin Milner ... [et al.].

by Milner, R. (Robin), 1934-2010 | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, 1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Online access: Abstract with links to resource Availability: No items available