Paper Info
Title
The Semantics of Extended ML: A Gentle Introduction
Year
DOI
Venue
1993
10.1007/978-1-4471-3229-5_11
Semantics of Specification Languages
Keywords
Field
DocType
gentle introduction,extended ml
Specification language,Extended ML,Programming language,Standard ML,Axiom,Computer science,Theoretical computer science,Software system,Modular design,Computer programming,Executable
Conference
ISBN
Citations 
PageRank 
3-540-19854-7
7
0.65
References 
Authors
12
3
Name
Order
Citations
PageRank
Stefan Kahrs113514.70
Donald Sannella21417134.34
Andrzej Tarlecki31514124.61