Typed Applicative Language Experiment. M. van Leeuwen. Lazy, purely applicative, polymorphic. BaSed on typed Second order lambda-calculuS. "Functional Programming and the Language TALE", H.P. Barendregt et al, in Current TrendS in Concurrency, LNCS 224, Springer 1986, pp.122-207.

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ ag ] [ AL ] [ al ] [ am ] [ an ] [ app ] [ ar ] [ aS ] [ at ] [ az ] [ B ] [ b ] [ bd ] [ C ] [ ca ] [ cat ] [ co ] [ con ] [ cu ] [ cy ] [ de ] [ E ] [ ec ] [ ed ] [ ee ] [ eg ] [ er ] [ et ] [ Fun ] [ ge ] [ gr ] [ gt ] [ gu ] [ h ] [ in ] [ io ] [ la ] [ lambda-calculuS ] [ lc ] [ li ] [ lu ] [ ly ] [ M ] [ mm ] [ mo ] [ N ] [ na ] [ NC ] [ nc ] [ NCS ] [ ng ] [ pe ] [ ph ] [ pl ] [ polymorphic ] [ pr ] [ re ] [ ro ] [ S ] [ Se ] [ T ] [ TA ] [ TAL ] [ th ] [ type ] [ ua ] [ uS ] [ va ] [ ve ]