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.

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 ]