GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
The Definition of Standard ML (Revised)
URI:
https://gptkb.org/entity/The_Definition_of_Standard_ML_(Revised)
GPTKB entity
Statements (19)
Predicate
Object
gptkbp:instanceOf
gptkb:book
gptkbp:author
gptkb:Robin_Milner
gptkb:Robert_Harper
gptkb:David_MacQueen
gptkb:Mads_Tofte
gptkbp:countryOfPublication
gptkb:United_States
gptkbp:genre
computer science
https://www.w3.org/2000/01/rdf-schema#label
The Definition of Standard ML (Revised)
gptkbp:ISBN
978-0-262-63181-0
gptkbp:language
English
gptkbp:pages
120
gptkbp:predecessor
gptkb:The_Definition_of_Standard_ML_(1989)
gptkbp:publicationYear
1997
gptkbp:publisher
gptkb:MIT_Press
gptkbp:series
gptkb:MIT_Press_Series_in_Computer_Science
gptkbp:subject
gptkb:Standard_ML
gptkbp:topic
gptkb:programming_language
gptkbp:bfsParent
gptkb:The_Definition_of_Standard_ML_(book)
gptkbp:bfsLayer
6