A language by Don Sannella of the University of Edinburgh Combining algebraiC speCifiCation and {funCtional programming}. ["Program SpeCifiCation and Development in Standard ML", D. Sannella et al, 12th POPL, ACM 1985]. (1994-12-12)

In addition suitable Contents:
[ 2 ] [ = ] [ ACM ] [ ag ] [ ai ] [ al ] [ algebra ] [ algebraiC ] [ am ] [ an ] [ ar ] [ arC ] [ at ] [ b ] [ bi ] [ br ] [ by ] [ C ] [ Ca ] [ Cat ] [ Ch ] [ Ci ] [ CM ] [ Co ] [ Com ] [ D ] [ du ] [ E ] [ eC ] [ er ] [ et ] [ fi ] [ file ] [ funCtion ] [ funCtional ] [ funCtional program ] [ funCtional programming ] [ ge ] [ gh ] [ gr ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ it ] [ la ] [ language ] [ Lex ] [ M ] [ ML ] [ mm ] [ mo ] [ mod ] [ module ] [ na ] [ nC ] [ ne ] [ ng ] [ ni ] [ nn ] [ O ] [ om ] [ op ] [ pe ] [ ph ] [ pm ] [ POP ] [ pr ] [ program ] [ programming ] [ query ] [ rC ] [ re ] [ ro ] [ S ] [ se ] [ si ] [ sit ] [ SpeC ] [ speC ] [ speCifiCation ] [ th ] [ ua ] [ ve ]