VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
Kernel
language for
Id
. A refinement of
P-TAC
, used as
an intermediate language for Id.
Lambda-calculus
with
first-class
let
-blocks and
I-structure
s.
["A Syntactic Approach to Program Transformations", Z. Ariola
et al, SIGPLAN Notices 26(9):116-129 (Sept 1991)].
(1996-07-22)