Return to Article Details On translation of typed functional programs into untyped functional programs (Տիպիզացված ֆունկցիոնալ ծրագրերի թարգմանությունը առանց տիպերի ֆունկցիոնալ ծրագրերի) Download Download PDF