description: |
Home Page for ATS. |
ATS : 5.09 % that : 1.65 % type : 1.38 % int : 1.38 % following : 1.17 % fact : 1.1 % can : 1.03 % programming : 0.96 % directory : 0.89 % HelloWorld : 0.89 % then : 0.83 % and : 0.83 % function : 0.76 % code : 0.69 % types : 0.69 % integer : 0.69 % the : 0.62 % which : 0.62 % implementation : 0.55 % FOO : 0.55 % dats : 0.55 % Please : 0.48 % for : 0.48 % ATSHOME : 0.48 % variable : 0.48 % Installation : 0.48 % where : 0.41 % linear : 0.41 % argv : 0.41 % see : 0.41 % number : 0.41 % version : 0.41 % natural : 0.41 % set : 0.41 % available : 0.34 % proving : 0.34 % into : 0.34 % not : 0.34 % programs : 0.34 % fun : 0.34 % more : 0.34 % some : 0.34 % val : 0.34 % atscc : 0.34 % theorem : 0.34 % environment : 0.34 % factorial : 0.34 % end : 0.34 % currently : 0.34 % tarball : 0.34 % sort : 0.34 % Nat : 0.34 % simple : 0.34 % command : 0.34 % use : 0.34 % now : 0.34 % support : 0.34 % list : 0.28 % Resources : 0.28 % memory : 0.28 % example : 0.28 % allows : 0.28 % programmer : 0.28 % else : 0.28 % bin : 0.28 % find : 0.28 % program : 0.28 % arguments : 0.28 % exit : 0.28 % error : 0.28 % argc : 0.28 % ATS-x : 0.28 % string : 0.28 % ATSHOMERELOC : 0.28 % res : 0.28 % usage : 0.28 % Download : 0.28 % Linux : 0.28 % cmd : 0.28 % DESTDIR : 0.28 % line : 0.28 % system : 0.28 % name : 0.28 % need : 0.28 % Programs : 0.28 % Step : 0.28 % Simple : 0.28 % standard : 0.28 % print : 0.28 % Anairiats : 0.28 % Some : 0.28 % supports : 0.28 % release : 0.28 % Acknowledgments : 0.28 % The : 0.28 % follows : 0.28 % given : 0.21 % development : 0.21 % Hello : 0.21 % Examples : 0.21 % download : 0.21 % always : 0.21 % its : 0.21 % language : 0.21 % begin : 0.21 % containing : 0.21 % nmul : 0.21 % declares : 0.21 % Programming : 0.21 % good : 0.21 % executing : 0.21 % install : 0.21 % effective : 0.21 % Let : 0.21 % Foundation : 0.21 % size : 0.21 % under : 0.21 % untar : 0.21 % functions : 0.21 % CCR : 0.21 % returns : 0.21 % applied : 0.21 % through : 0.21 % atshome : 0.21 % constant : 0.21 % world : 0.21 % package : 0.21 % implement : 0.21 % usr : 0.21 % main : 0.21 % input : 0.21 % only : 0.21 % write : 0.21 % also : 0.21 % based : 0.21 % current : 0.21 % Home : 0.21 % make : 0.21 % Factorial : 0.21 % please : 0.21 % over : 0.21 % method : 0.21 % used : 0.21 % file : 0.21 % dependent : 0.21 % share : 0.21 % component : 0.21 % both : 0.21 % http : 0.21 % void : 0.21 % output : 0.21 % multithreading : 0.21 % GNU : 0.21 % entire : 0.14 % advanced : 0.14 % library : 0.14 % making : 0.14 % compiled : 0.14 % GMP : 0.14 % static : 0.14 % installing : 0.14 % note : 0.14 % turning : 0.14 % recursive : 0.14 % included : 0.14 % group : 0.14 % people : 0.14 % Software : 0.14 % Free : 0.14 % Hongwei : 0.14 % non-recursive : 0.14 % platforms : 0.14 % future : 0.14 % named : 0.14 % read : 0.14 % like : 0.14 % platform : 0.14 % requirement : 0.14 % prerrf : 0.14 % National : 0.14 % Science : 0.14 % printf : 0.14 % Note : 0.14 % ype : 0.14 % viewt : 0.14 % produce : 0.14 % happens : 0.14 % here : 0.14 % Usage : 0.14 % message : 0.14 % let : 0.14 % any : 0.14 % such : 0.14 % sourceforge : 0.14 % when : 0.14 % compared : 0.14 % say : 0.14 % footprint : 0.14 % efficiency : 0.14 % | x x : 0.54 % HelloWorld dats : 0.48 % n int : 0.42 % types ATS : 0.3 % linear types : 0.3 % theorem proving : 0.3 % can be : 0.3 % FOO ATS : 0.3 % int n : 0.3 % directory FOO : 0.24 % ATS ATS : 0.24 % ATS allows : 0.24 % Simple ATS : 0.24 % sort int : 0.24 % fact usage : 0.24 % Some Simple : 0.24 % ATS Programs : 0.24 % allows programmer : 0.24 % natural number : 0.24 % ATS-x x : 0.24 % then set : 0.24 % as follows : 0.24 % following command : 0.24 % ATS Anairiats : 0.18 % type system : 0.18 % executing following : 0.18 % dependent types : 0.18 % development ATS : 0.18 % command line : 0.18 % ATS following : 0.18 % ATSHOME bin : 0.18 % programming ATS : 0.18 % factorial function : 0.18 % implement main : 0.18 % programming theorem : 0.18 % Hello world : 0.18 % system ATS : 0.18 % Factorial version : 0.18 % fact x : 0.18 % GC support : 0.18 % no GC : 0.18 % support multithreading : 0.18 % ATS can : 0.18 % in ATS : 0.18 % int int : 0.18 % currently no : 0.18 % environment variable : 0.18 % good for : 0.18 % ATS good : 0.18 % fact n : 0.18 % Acknowledgments Download : 0.18 % viewt ype : 0.12 % i i : 0.12 % natural numbers : 0.12 % type natural : 0.12 % program verification : 0.12 % that is : 0.12 % fun fact : 0.12 % function fact : 0.12 % recursive function : 0.12 % for installing : 0.12 % dats c : 0.12 % component ATS : 0.12 % following type : 0.12 % i n : 0.12 % standard output : 0.12 % int that : 0.12 % n sort : 0.12 % then x : 0.12 % x then : 0.12 % n type : 0.12 % then let : 0.12 % x else : 0.12 % argc then : 0.12 % syntax n : 0.12 % n printf : 0.12 % some variable : 0.12 % variable n : 0.12 % over some : 0.12 % factorial i : 0.12 % printf factorial : 0.12 % x int : 0.12 % number applied : 0.12 % more details : 0.12 % end else : 0.12 % projects ats-lang : 0.12 % net projects : 0.12 % sourceforge net : 0.12 % following site : 0.12 % http sourceforge : 0.12 % ats-lang download : 0.12 % exit end : 0.12 % usage argv : 0.12 % begin fact : 0.12 % version number : 0.12 % file named : 0.12 % argv exit : 0.12 % named HelloWorld : 0.12 % of ATS : 0.12 % release of : 0.12 % Nat Nat : 0.12 % n res : 0.12 % simple effective : 0.12 % n n : 0.12 % type error : 0.12 % installation method : 0.12 % HelloWorld HelloWorld : 0.12 % res end : 0.12 % else begin : 0.12 % tarball containing : 0.12 % atscc o : 0.12 % o HelloWorld : 0.12 % that function : 0.12 % Note that : 0.12 % follows typedef : 0.12 % argv argc : 0.12 % void prerrf : 0.12 % turning string : 0.12 % argv turning : 0.12 % prerrf Usage : 0.12 % of argv : 0.12 % Usage s : 0.12 % entire code : 0.12 % code example : 0.12 % usage cmd : 0.12 % Download and : 0.12 % cmd string : 0.12 % string void : 0.12 % example available : 0.12 % and Installation : 0.12 % int of : 0.12 % Free Software : 0.12 % error message : 0.12 % print error : 0.12 % no CCR : 0.12 % message implement : 0.12 % main argc : 0.12 % CCR no : 0.12 % cmd print : 0.12 % Science Foundation : 0.12 % s integer : 0.12 % val n : 0.12 % let val : 0.12 % integer n : 0.12 % National Science : 0.12 % n cmd : 0.12 % fn fact : 0.12 % arguments fn : 0.12 % val res : 0.12 % of the : 0.12 % program by : 0.12 % by making : 0.12 % use linear : 0.12 % making use : 0.12 % a type : 0.12 % standard input : 0.12 % As always : 0.12 % practical programming : 0.12 % res fact : 0.12 % programmer write : 0.12 % integer read : 0.12 % following code : 0.12 % Hongwei Xi : 0.12 % integer val : 0.12 % static constant : 0.12 % ATS package : 0.12 % functions variable : 0.12 % string into : 0.12 % variable arguments : 0.12 % install ATS : 0.12 % arguments functions : 0.12 % group arguments : 0.12 % declares non-recursive : 0.12 % fn declares : 0.12 % non-recursive function : 0.12 % used ATS : 0.12 % into integer : 0.12 % ATS group : 0.12 % argc argv : 0.12 % compressed tarball : 0.12 % assert errmsg : 0.12 % Step Please : 0.12 % execution path : 0.12 % Home Page : 0.12 % Installation through : 0.12 % Resources Programming : 0.12 % Programming in : 0.12 % variable ATSHOMERELOC : 0.12 % ATS programming : 0.12 % directory where : 0.12 % comments welcome : 0.12 % ATS Please : 0.12 % name directory : 0.12 % atsopt directory : 0.12 % What is : 0.12 % Programs What : 0.12 % directory tmp : 0.12 % functional programs : 0.12 % compared C : 0.12 % | directory FOO ATS : 0.24 % Some Simple ATS : 0.24 % Simple ATS Programs : 0.24 % ATS allows programmer : 0.24 % ATS-x x x : 0.24 % no GC support : 0.18 % GC support multithreading : 0.18 % currently no GC : 0.18 % linear types ATS : 0.18 % following command line : 0.18 % executing following command : 0.18 % n int n : 0.18 % ATS good for : 0.18 % programming theorem proving : 0.18 % variable n sort : 0.12 % n sort int : 0.12 % turning string into : 0.12 % some variable n : 0.12 % argv turning string : 0.12 % int of argv : 0.12 % of argv turning : 0.12 % over some variable : 0.12 % sort int that : 0.12 % integer n cmd : 0.12 % allows programmer write : 0.12 % val res fact : 0.12 % prerrf Usage s : 0.12 % Usage s integer : 0.12 % into integer val : 0.12 % s integer n : 0.12 % string into integer : 0.12 % n int of : 0.12 % n cmd print : 0.12 % main argc argv : 0.12 % argc then let : 0.12 % implement main argc : 0.12 % argc argv argc : 0.12 % program by making : 0.12 % use linear types : 0.12 % int n type : 0.12 % by making use : 0.12 % then let val : 0.12 % let val n : 0.12 % print error message : 0.12 % cmd print error : 0.12 % as follows typedef : 0.12 % syntax n int : 0.12 % val n int : 0.12 % void prerrf Usage : 0.12 % message implement main : 0.12 % argv argc then : 0.12 % fn fact usage : 0.12 % HelloWorld HelloWorld dats : 0.12 % type system ATS : 0.12 % projects ats-lang download : 0.12 % net projects ats-lang : 0.12 % x x x : 0.12 % o HelloWorld HelloWorld : 0.12 % can untar tarball : 0.12 % METHOD can untar : 0.12 % atscc o HelloWorld : 0.12 % sourceforge net projects : 0.12 % http sourceforge net : 0.12 % x then x : 0.12 % natural number applied : 0.12 % HelloWorld dats c : 0.12 % fact x else : 0.12 % compressed tarball containing : 0.12 % ATS following site : 0.12 % of ATS following : 0.12 % release of ATS : 0.12 % file named HelloWorld : 0.12 % fn declares non-recursive : 0.12 % arguments fn fact : 0.12 % variable arguments fn : 0.12 % functions variable arguments : 0.12 % res fact n : 0.12 % fact usage cmd : 0.12 % cmd string void : 0.12 % usage cmd string : 0.12 % when compared C : 0.12 % arguments functions variable : 0.12 % group arguments functions : 0.12 % usr share atshome : 0.12 % declares non-recursive function : 0.12 % environment variables ATSHOME : 0.12 % atshome ATS-x x : 0.12 % Let us now : 0.12 % Please find more : 0.12 % ATS group arguments : 0.12 % used ATS group : 0.12 % string void prerrf : 0.12 % error message implement : 0.12 % ATS ATS good : 0.12 % Page ATS Home : 0.12 % good for Acknowledgments : 0.12 % for Acknowledgments Download : 0.12 % Acknowledgments Download Installation : 0.12 % by executing following : 0.12 % Programming in ATS : 0.12 % name directory where : 0.12 % types linear types : 0.12 % Resources Libraries Papers : 0.12 % Resources Programming in : 0.12 % fact n printf : 0.12 % Home Page ATS : 0.12 % Examples new Implementation : 0.12 % Programs What is : 0.12 % ATS Programs What : 0.12 % Tutorial Examples new : 0.12 % new Implementation Resources : 0.12 % Implementation Resources Libraries : 0.12 % Installation Some Simple : 0.12 % entire code example : 0.12 % National Science Foundation : 0.12 % code example available : 0.12 % Libraries Papers ChangeLog : 0.12 % dependent types linear : 0.12 % n res end : 0.12 % n n res : 0.12 % Download and Installation : 0.12 % res end else : 0.12 % Papers ChangeLog FAQ : 0.12 % end else begin : 0.12 % i n n : 0.12 % i i n : 0.12 % n printf factorial : 0.12 % HelloWorld dats HelloWorld : 0.12 % environment variable ATSHOMERELOC : 0.12 % printf factorial i : 0.12 % factorial i i : 0.12 % begin fact usage : 0.12 % else begin fact : 0.12 % directory where ATS : 0.12 % dats HelloWorld dats : 0.12 % fact usage argv : 0.12 % argv exit end : 0.12 % current implementation ATS : 0.12 % usage argv exit : 0.12 % else following code : 0.06 % x else following : 0.06 % type unit languages : 0.06 % following code passes : 0.06 % input the function : 0.06 % unit languages like : 0.06 % code passes integer : 0.06 % passes integer read : 0.06 % integer read standard : 0.06 % read standard input : 0.06 % standard input the : 0.06 % the function fact : 0.06 % recursive function fun : 0.06 % recursive function fact : 0.06 % simple recursive function : 0.06 % function fact defined : 0.06 % fact defined as : 0.06 % as follows compute : 0.06 % defined as follows : 0.06 % version simple recursive : 0.06 % Factorial version simple : 0.06 % line standard output : 0.06 % following line standard : 0.06 % standard output Hello : 0.06 % output Hello world : 0.06 % world Factorial version : 0.06 % Hello world Factorial : 0.06 % follows compute factorials : 0.06 % compute factorials fun : 0.06 % x int int : 0.06 % fact x int : 0.06 % int int x : 0.06 % int x then : 0.06 % then x fact : 0.06 % languages like SML : 0.06 % fun fact x : 0.06 % like SML OCaml : 0.06 % fun declares recursive : 0.06 % factorials fun declares : 0.06 % declares recursive function : 0.06 % confused type unit : 0.06 % function fun fact : 0.06 % x fact x : 0.06 % should not be : 0.06 % a can be : 0.06 % can be linear : 0.06 % that a can : 0.06 % means that a : 0.06 % ype means that : 0.06 % be linear type : 0.06 % linear type any : 0.06 % fun exit viewt : 0.06 % exit viewt ype : 0.06 % size fun exit : 0.06 % any size fun : 0.06 % type any size : 0.06 % viewt ype means : 0.06 % a viewt ype : 0.06 % Note that function : 0.06 % that function exit : 0.06 % |
Total: 234 |
ats-lqang.org ats-lany.org xats-lang.org urts-lang.org pats-lang.org ats-langk.org ats-langn.org ast-lang.org hats-lang.org atsz-lang.org ads-lang.org at5s-lang.org ats-langi.org uts-lang.org ats-laang.org zats-lang.org ats-ling.org ats-lajg.org ats-langa.org ats-lwang.org ts-lang.org yats-lang.org ats-lanmg.org 4ats-lang.org ats-.ang.org rats-lang.org ats-lanyg.org kats-lang.org ats-rang.org ats-l.ang.org bats-lang.org ats-langs.org ats-lurng.org ats-latng.org atsl-ang.org 6ats-lang.org 5ats-lang.org auts-lang.org ats-lanv.org atas-lang.org ats-lant.org ats-lang7.org ats-laqng.org atys-lang.org ats-lrang.org arts-lang.org ats-lsang.org aets-lang.org atsa-lang.org 2ats-lang.org ats-luang.org eats-lang.org nats-lang.org ats-lanfg.org mats-lang.org ats-lang9.org at6s-lang.org ays-lang.org iats-lang.org ats-pang.org a6ts-lang.org ats-landg.org fats-lang.org wats-lang.org ats-lasng.org ats-langz.org atw-lang.org ats-lag.org ats-langh.org ats-lazng.org 3ats-lang.org aats-lang.org atxs-lang.org ats-lanvg.org ars-lang.org atx-lang.org ats-lqng.org ate-lang.org ayts-lang.org ats-lahng.org ats-lanng.org ats-lanhg.org ats-ang.org atsc-lang.org ats-lzang.org atds-lang.org atc-lang.org ats-loang.org ats-lanb.org ats-langp.org ats-lang6.org yts-lang.org ats-lanrg.org aths-lang.org ats-lanf.org ats-lanbg.org aqts-lang.org vats-lang.org wwats-lang.org ats-langb.org ats-lanjg.org ats-lzng.org ats-lkang.org zts-lang.org ates-lang.org ats-langw.org asts-lang.org ats-klang.org atcs-lang.org ats-laeng.org atts-lang.org aits-lang.org ats-langx.org qts-lang.org ahts-lang.org jats-lang.org ats-langl.org ats-lan.org ats-olang.org ats-lang2.org ats-lnag.org acs-lang.org ats-lantg.org atz-lang.org ats-lng.org ahs-lang.org ats-larng.org ats-langes.org ats-layng.org ats-leang.org ats-oang.org 1ats-lang.org awts-lang.org ats-langr.org ats-kang.org acts-lang.org ats-lange.org ats-lyng.org tas-lang.org a5s-lang.org atse-lang.org cats-lang.org ats-.lang.org ats-langj.org ats-langm.org ats-leng.org ats-laung.org oats-lang.org ats-langf.org ats-langd.org ats-lang0.org ats-lsng.org ets-lang.org ats-lang4.org ats-lang8.org atsw-lang.org ats-langc.org ats-lang3.org tats-lang.org at-slang.org lats-lang.org at-lang.org ats-plang.org atss-lang.org gats-lang.org ats-lahg.org qats-lang.org sts-lang.org ats-lango.org uats-lang.org att-lang.org atgs-lang.org atslang.org ats-lajng.org ats-lanj.org ats-liang.org wts-lang.org 0ats-lang.org sats-lang.org ats-langq.org afts-lang.org ats-laing.org atst-lang.org ats-lyang.org ats-rlang.org ats-labg.org aots-lang.org ats-langy.org ats--lang.org agts-lang.org ats-lamng.org as-lang.org afs-lang.org dats-lang.org ots-lang.org atzs-lang.org ats-labng.org ats-long.org ass-lang.org atws-lang.org a5ts-lang.org ata-lang.org ats-lamg.org ats-lawng.org ats-llang.org ats-lanh.org atd-lang.org ats-langg.org azts-lang.org its-lang.org a6s-lang.org ats-lwng.org ats-lang5.org ats-lpang.org ats-langv.org ags-lang.org ats-langt.org ats-laong.org adts-lang.org ats-langu.org ats-lang1.org ats-alng.org 7ats-lang.org ats-lung.org atsd-lang.org wwwats-lang.org 9ats-lang.org ats-lagn.org atrs-lang.org ats-lang.org 8ats-lang.org atsx-lang.org ats-larg.org atfs-lang.org |