list。一些研究者开发了多态性的域理论模型。其他研究者还在构造性集合论内建模了参数化多态。详情可见下面列出的教科书。一个新近研究领域已经涉及了基于编程语言的对象和类的指称语义。
受限复杂性的程序的指称语义.随着基于线性逻辑的编程语言的开发，指称语义已经被给予了线性使用(参见 证明网、一致空间)和多项式时间复杂性的语言。
非确定性程序的指称语义.要给出非确定性程序顺序程序指称语义，研究者已经开发出了幂域理论。对幂域构造写上 "P"，域 "P"("