函数编程杂志,第8卷
1998年1月第8卷第1期
Amr Sabry公司 :
什么是纯功能语言? 1-22 菲利普·特林德 , 凯文·哈蒙德 , 汉斯·沃夫冈·洛伊德 , 西蒙·佩顿·琼斯 :
算法+策略=并行性。 23-60 戴维·威克林 :
懒惰功能程序的动态编译。 61-81
理查德·S·伯德 :
Meertens数字。 83-88
埃里克·波尔 :
规范化纯类型系统的扩展延迟。 89-96
第8卷第2期,1998年3月
罗伯特·施塔克 :
为什么常量“未定义”? 严格和非严格函数编程语言的部分项逻辑。 97-129 泰瑞斯·哈丁 , 吕克·马兰杰 :
Lambda-Sigma演算中的功能运行时系统。 131-176 P.N.本顿 , 加文·M·比尔曼 , 瓦莱丽亚·德佩瓦 :
从逻辑角度看计算类型。 177-193 克里斯·冈崎 :
功能明珠:甚至用于解析的高阶函数。 195-199
第8卷第3期,1998年5月
理查德·摩根 , 斯蒂芬·贾维斯 :
分析大型惰性函数程序。 201-237 约翰·汉南 :
函数语言的基于类型的转义分析。 239-273 约翰·马拉斯特 , 马丁·奥德斯基 , 菲利普·沃德勒 :
Call-by Need Lambda微积分。 275-317
1998年7月第8卷第4期
托马斯·约翰逊 :
使用惰性单片阵列的高效图形算法。 323-333 Furio Honsell先生 , 阿尔贝托·普拉瓦托 , 西蒙娜·隆奇·德尔拉·罗卡 :
语言方案片段的结构化操作语义。 335-365 安德鲁·托尔马赫 , 迪诺·奥利瓦 :
从ML到Ada:通过源翻译实现强类型语言互操作性。 367-412 迈克尔·赫德伯格 :
马丁洛夫类型理论的一个相干定理。 413-436
第8卷第5期,1998年9月
威廉·费雷拉 , 马修·轩尼诗 , 阿兰·杰弗里 :
核心CML的弱互模拟理论。 447-491 盖·拉帕尔姆 :
使用布局规则自动缩进的动态制表。 493-502 加里·米恩 , 迈克·乔伊 :
动画模糊逻辑。 503-525
第8卷第6期,1998年11月
托马斯·斯特里彻 , 伯恩哈德·鲁斯 :
经典逻辑、连续语义和抽象机器。 543-572 C.巴里·杰伊 , 吉安娜·贝尔 , 尤金尼奥·莫吉 :
函数ML。 573-619 奥利维尔·丹维 :
功能性解封。 621-625
马丁·埃尔维格 :
脂肪组的饮食。 627-632
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)