摘要：程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．

摘要：合成语言ＦＯＰＬ是笔者设计并实现的一种同时支持函数式程序设计风格和面向对象程序设计风格的语言。本文主要讨论ＦＯＰＬ语言的实现技术。

摘要：本文综述了函数式、逻辑式和面向对象式三种新型程序设计语言的基本特点,简介了这三种程序设计风格相互合成的研究现状,并给出了一些有关的代表性语言。

摘要：函数式面向对象程序设计语言ＦＯＰＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言，本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。

摘要：本文介绍一种面向对象语言ＢＤＯＬ，它既是系统规范设计语言，又是系统实现编程语言。ＢＤＯＬ语言支持多种面向对象程序设计语言，如Ｃ＋＋、Ｓｍａｌｌｔａｌｋ、ＣＬＯＳ等的混合编程，从而使语言表达能力增强，更加灵活，同时也能达到更有效的软件复用。