翻訳と辞書
Words near each other
・ tagged queueing
・ tagged types
・ tail call optimisation
・ tail call optimization
・ tail circuit
・ tail recursion
・ tail recursion modulo cons
・ tail recursion optimisation
・ tail-strict
・ tal
tale
・ taligent
・ talk
・ talk bomb
・ talk mode
・ talker system
・ tall
・ tall card
・ tandem application language
・ tandem computers


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

tale : FOLDOC
TALE
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.



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.