Report on the programming language Haskell 论文

1992ACM SIGPLAN Notices引用 1022
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification

Report on the programming language Haskell · 作者