Computer programs that implement a deterministic computer programming language for use in smart contracts, distributed ledger platforms, blockchain platforms and distributed database systems; Computer programs that implement a deterministic computer programming language for use in systems for processing financial transactions, electronic funds transfer and currency conversions; Computer programs that implement a deterministic computer programming language for use in e-commerce or on-line mark...