Mistakes and Ambiguities in the Definition of Standard ML

Mistakes and Ambiguities in the Definition of Standard ML (1993)

by Stefan Kahrs

Citations:

21 - 5 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Mistakes and Ambiguities in the Definition of Standard ML	INFERENCE
AUTHOR NAME	Stefan Kahrs	SVM HeaderParse 0.1
AUTHOR AFFIL	University of Edinburgh; Laboratory for Foundations of Computer Science	SVM HeaderParse 0.2
AUTHOR ADDR	King's Buildings, EH9 3JZ	SVM HeaderParse 0.1
ABSTRACT	The Definition of Standard ML contains several errors and ambiguities. Some of them have already been published in the Commentary on Standard ML, but the list given there is incomplete. The paper lists all errors known to me today, including the errors listed in the Commentary. On most of the others I came across when writing the semantics of Extended ML. Most errors are supplied with an explanation "what goes wrong" and with a suggested correction. I understand "error" in a very broad sense --- ranging from typos to serious flaws in the rules. Some of the problems I mention are originated by a certain tension between formal definitions and informal explanations, e.g. overloading is informally explained though impossible in the given formal setting. Some parts of the paper are difficult to understand without prior knowledge of the Definition and the Commentary, because I rely on the notation and jargon introduced in these books. However, the nature of this paper has it that the various...	user correction - Legacy Corrections
YEAR	1993	INFERENCE
VENUE TYPE	TECHREPORT	INFERENCE
TECH	Technical Report ECS-LFCS-93-257	INFERENCE
CITATIONS	6 found	ParsCit 1.0