DAML

DAML

[1] DAML.org ( ( 版)) http://www.daml.org/

[2] HyperDAML ( ( 版)) http://www.daml.org/2001/04/hyperdaml/

[3] DAML-Time