HAL
Edit Page
Report
Scan day: 16 February 2014 UTC
-15
Virus safety - good
Description: Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
HAL is a strongly typed, weakly moded, constraint logic/functional language designed to support the construction and extension and use of new constraint solvers being developed jointly at the University of Melbourne and Monash University.
Size: 238 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
Page title: | HAL home page |
Keywords: | |
Description: | |
IP-address: | 130.194.64.145 |