首页>外文会议>Implementation of Functional Languages

Implementation of Functional Languages

召开年：2002
召开地：Madrid(ES);Madrid(ES)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Axis Control in SAC

机译：SAC中的轴控制
- 作者：Clemens Grelck;Sven-Bodo Scholz
- 会议名称：《Implementation of Functional Languages》 | 2003年
2.Cost Analysis Using Automatic Size and Time Inference

机译：使用自动大小和时间推断进行成本分析
- 作者：Alvaro J. Rebon Portillo;Kevin Hammond;Hans-Wolfgang Loidl;Pedro Vasconcelos
- 会议名称：《Implementation of Functional Languages》 | 2003年
3.Fast Functional Lists

机译：快速功能列表
- 作者：Phil Bagwell
- 会议名称：《Implementation of Functional Languages》 | 2003年
4.Fusion in Practice

机译：融合实践
- 作者：Diederik van Arkel;John van Groningen;Sjaak Smetsers
- 会议名称：《Implementation of Functional Languages》 | 2003年
5.GAST: Generic Automated Software Testing

机译：GAST：通用自动化软件测试
- 作者：Pieter Koopman;Artem Alimarine;Jan TYetmans;Rinus Plasmeijer
- 会议名称：《Implementation of Functional Languages》 | 2003年
6.Lazy Dynamic Input/Output in the Lazy Functional Language Clean

机译：惰性函数语言Clean中的惰性动态输入/输出
- 作者：Martijn Vervoort;Rinus Plasmeijer
- 会议名称：《Implementation of Functional Languages》 | 2003年
7.PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines

机译：PolyAPM：通过抽象并行机的逐步优化进行并行编程
- 作者：Nils Ellmenreich;Christian Lengauer
- 会议名称：《Implementation of Functional Languages》 | 2003年
8.Predictable Space Behaviour in FSM-Hume

机译：FSM-休姆中可预测的空间行为
- 作者：Kevin Hammond;Greg Michaelson
- 会议名称：《Implementation of Functional Languages》 | 2003年
9.Proving Make Correct: I/O Proofs in Haskell and Clean

机译：证明正确无误：Haskell中的I / O证明和Clean
- 作者：Malcolm Dowse;Glenn Strong;Andrew Butterfield
- 会议名称：《Implementation of Functional Languages》 | 2003年
10.Stacking Cycles: Functional Transformation of Circular Data

机译：堆叠周期：循环数据的功能转换
- 作者：Baltasar Trancon y Widemann
- 会议名称：《Implementation of Functional Languages》 | 2003年
- coalgebra;
- corecursion;
- anamorphism;
- code generation;
- cycle detection;
- function memoization;
11.Thread Migration in a Parallel Graph Reducer

机译：并行图归约器中的线程迁移
- 作者：Andre Rauber Du Bois;Hans-Wolfgang Loidl;Phil Trinder
- 会议名称：《Implementation of Functional Languages》 | 2003年
12.Towards a Strongly Typed Functional Operating System

机译：迈向强类型的功能操作系统
- 作者：Arjen van Weelden;Rinus Plasmeijer
- 会议名称：《Implementation of Functional Languages》 | 2003年
13.Transforming Haskell for Tracing

机译：转换Haskell以进行跟踪
- 作者：Olaf Chitil;Colin Runciman;Malcolm Wallace
- 会议名称：《Implementation of Functional Languages》 | 2003年
14.Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment

机译：动态类型语言环境中浮点运算的未装箱编译
- 作者：Tobias Lindahl;Konstantinos Sagonas
- 会议名称：《Implementation of Functional Languages》 | 2003年
15.When Generic Functions Use Dynamic Values

机译：泛型函数使用动态值时
- 作者：Peter Achten;Artem Alimarine;Rinus Plasmeijer
- 会议名称：《Implementation of Functional Languages》 | 2003年