请启用JavaScript体验Vimeo的所有荣耀。
从CACM箴
Adam Chlipala讨论“Ur/Web: Web编程的简单模型”(www.eqigeno.com/magazines/2016/8/205041),他的研究重点文章在2016年8月的ACM通信。