A Simply typed, functional language. ["Fully AbStract TranSlationS Between Functional LanguageS", J. Riecke, 18th POPL, pp. 245-254 (1991)]. ["LCF ConSidered aS a Programming Language", Theor CS 5:223, 1977]. (1996-01-18)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ B ] [ b ] [ bS ] [ C ] [ ch ] [ ck ] [ de ] [ du ] [ ec ] [ ed ] [ ee ] [ er ] [ eS ] [ et ] [ fi ] [ file ] [ Fun ] [ function ] [ functional ] [ functional language ] [ ge ] [ gr ] [ gu ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ J ] [ ke ] [ la ] [ language ] [ LCF ] [ Lex ] [ ly ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ nc ] [ ng ] [ nS ] [ O ] [ pe ] [ ph ] [ pl ] [ ply ] [ POP ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ Se ] [ Si ] [ Sl ] [ St ] [ T ] [ th ] [ tr ] [ tw ] [ type ] [ ua ]