并发 Web 服务器:Pluto

jopen 4年前

Pluto 是一个用 Gallina (Coq 的函数编程语言)编写的首个并发的 Web 服务器。

并发 Web 服务器:Pluto

项目主页:http://www.open-open.com/lib/view/home/1417950796527