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)

N="left">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 ]