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.

Align="left">In Addition suitAble contents:
[ <A href="module.php?nAme=Lexikon&op=content&tid=31">2A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=396">AgA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=432">ALA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=433">AlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=544">AmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=592">AnA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=683">AppA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=740">ArA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=800">AsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=894">AtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1023">AzA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1025">BA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1026">bA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1177">bdA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1708">CA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1724">cAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1863">cAtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2247">coA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2545">conA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2900">cuA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2941">cyA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3151">deA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3834">EA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3865">ecA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3896">edA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3929">eeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3946">egA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4148">erA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4199">etA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4939">FunA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5057">geA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5291">grA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5398">gtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5403">guA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5434">hA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6064">inA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6413">ioA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6918">lAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6939">lAmbdA-cAlculusA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7014">lcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7107">liA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7415">luA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7441">lyA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7457">MA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8019">mmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8032">moA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8384">NA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8386">nAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8459">NCA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8460">ncA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8466">NCSA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8627">ngA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9457">peA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9550">phA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9651">plA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9785">polymorphicA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9908">prA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10385">reA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10767">roA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10918">SA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11150">seA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12359">TA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12366">TAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12390">TALA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12588">thA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12970">typeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12986">uAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13175">usA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13252">vAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13310">veA> ]