A typed lambda-calculuS, Similar to SOL[2]. "On UnderStanding TypeS, Data AbStractionS and PolymorphiSm", L. Cardelli et al, ACM Comp SurveyS 17(4) (Dec 1985).

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ ACM ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ b ] [ bd ] [ bS ] [ C ] [ ca ] [ ch ] [ CM ] [ cu ] [ D ] [ de ] [ ding ] [ du ] [ ec ] [ ed ] [ er ] [ eS ] [ et ] [ fi ] [ file ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ iS ] [ la ] [ lambda-calculuS ] [ lc ] [ Lex ] [ li ] [ lu ] [ ly ] [ M ] [ mil ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ ng ] [ nS ] [ O ] [ om ] [ pe ] [ ph ] [ Poly ] [ query ] [ rc ] [ re ] [ S ] [ Se ] [ Si ] [ Sm ] [ SO ] [ SOL ] [ St ] [ T ] [ to ] [ tr ] [ type ] [ typed lambda-calculuS ] [ uS ] [ ve ]