The semantics of standard LM Version 1: LFCS report ECS-LFCS-87-36

Robin Milner, Robert Harper, Mads Tofte

Research output: Working paper

Access to Document

@techreport{ddb1b06e7a0a46dea0d896782ff13a67,

title = "The semantics of standard LM Version 1: LFCS report ECS-LFCS-87-36",

author = "Robin Milner and Robert Harper and Mads Tofte",

year = "1987",

language = "English",

publisher = "University of Edinburgh",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Edinburgh",

}