1997年第二届HOOTS:美国加利福尼亚州斯坦福
安德鲁·戈登 , 安德鲁·皮特斯 , 卡罗琳·塔尔科特 :
第二次语义学高阶运算技术研讨会,HOOTS 1997,美国加利福尼亚州斯坦福,1997年12月8日至12日。 理论计算机科学电子笔记 10, 爱思维尔 1997 安德鲁·戈登 , 安德鲁·皮特斯 , 卡罗琳·塔尔科特 :
前言。 1 安德鲁·皮特斯 :
参数多态性和操作等价性。 2-27 劳伦特·达米 :
运营吸纳,一种理想的分型模型。 28-49 格林·温斯克 :
从开放地图对互模拟的操作理解。 50 阿兰·杰弗里 :
前单体类和流图。 51 菲利普·加德纳 :
动作演算的类型理论描述。 52 泽纳·M·阿里奥拉 , Amr Sabry公司 :
一元状态的正确性:一个迫切需要的微积分。 53 吉尔斯·巴特 , 约翰·哈特克利夫 , 彼得·蒂曼 :
一元型系统:用于不纯正环境的纯型系统。 54-120 侯赛因·易卜拉欣 , 大卫·A·施密特 :
将大步语义调整为小步风格:共导解释和“高阶”派生。 121 阿伦·斯托顿 :
支持派生树增量构造的操作语义框架。 122-133 戴夫·桑兹 :
使用上下文计算:一种简单的方法。 134-149 弗莱明·尼尔森 , 汉内·里斯·尼尔森 :
流逻辑和操作语义。 150-169 乌戈·蒙塔纳里 , 马可·皮斯托尔 :
历史相关自动机简介。 170-188 乌戈·蒙塔纳里 , 卡罗琳·塔尔科特 :
演员和演员能住在一起吗? 189-196 斯科特·史密斯 :
演员系统规范图。 197 鲁卡·凯德利 , 安德鲁·戈登 :
移动环境。 198-201 马丁·阿巴迪 , Cédric Fornet公司 , 乔治·戈蒂尔 :
通道抽象的安全实现。 202-203 马修·弗拉特 , 马提亚斯·费莱森 :
将单元编程为高阶模块。 204-229 J.格雷戈里·莫里塞特 , 罗伯·哈波 :
递归定义函数的类型化闭包转换。 230-241 斯蒂芬·弗伦德 , 约翰·米切尔 :
Java字节码语言中对象初始化的类型系统。 242-245 瑟伦·拉森 , 科林·皮彻 :
可数非确定性和高阶函数的相似性和双相似性。 246-266