Toshihiro Shimizu and Naoki Kobayashi "HACL Ver. 0.1 User's Manual" Department of Information Science University of Tokyo June 29, 1994

Languages mentioned

• HACL {1994} Concurrent OO language based on linear logic