首页
标签
denotational-semantics
Perl 使用什么类型的语义？
自然图推导算法
如何使用 haskell 添加函数和过程抽象指称语义？
什么是指称语义？
Haskell 的 'evaluate' 是正常还是 WHNF？
指称语义，证明不动点迭代导致最小不动点