[1] DAML.org ( (1/29/2006, 8:03:00 PM 版)) http://www.daml.org/
[2] HyperDAML ( (4/29/2004, 9:14:50 PM 版)) http://www.daml.org/2001/04/hyperdaml/
[3] DAML-Time
Google search: DAML