Extended ML. A language for formally specifying SML programs. ["Formal Program Development in Extended ML for the Working Programmer", D. Sannella, Proc 3rd BCS/FACS Workshop on Refinement", Springer 1990].

In addition suitable contents:
[ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ B ] [ BC ] [ BCS ] [ C ] [ ch ] [ ci ] [ D ] [ de ] [ du ] [ E ] [ ec ] [ ed ] [ er ] [ Extended ML ] [ FAC ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gr ] [ gu ] [ h ] [ hop ] [ hr ] [ id ] [ il ] [ in ] [ ki ] [ ksh ] [ la ] [ language ] [ Lex ] [ ly ] [ M ] [ ma ] [ mall ] [ ML ] [ mm ] [ mo ] [ mod ] [ module ] [ ms ] [ na ] [ ne ] [ ng ] [ nn ] [ op ] [ pe ] [ ph ] [ pm ] [ pr ] [ program ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ se ] [ sh ] [ SML ] [ spec ] [ th ] [ ua ] [ ve ]