客户端和服务器编程库-基于Web的实验开发环境，
A Library for Programming A Client And Server - Experimental Web-based development environment, (2011-02-02, Haskell, 0KB, 下载0次)
理解Haskell（纯函数编程语言）中可变数据的实现使用类型和函数添加新的程序...，
Understanding an implementation of mutable data in Haskell (pure functional programming lang.) Using types and functions to add new program structure to a language. (2017-12-29, Haskell, 0KB, 下载0次)
Haskell中的命令式编程语言，用于高保证嵌入式应用程序。ImProve程序已验证...
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink. (2011-09-14, Haskell, 25KB, 下载0次)
简要探讨在纯函数式编程语言中建模副作用的各种方法。
A brief exploration of the various approaches to modeling side effects in a purely functional programming language. (2022-01-17, Haskell, 16KB, 下载0次)
自动文本生成，使用haskell集成命令式编程的概念
Automatic-Text-Generation,integrating the concepts of Imperative Programming using haskell (2021-05-29, Haskell, 5KB, 下载0次)