首页>外文会议>International symposium on trends in functional programming

International symposium on trends in functional programming

召开年：2012
召开地：St. Andrews(GB)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Some History of Functional Programming Languages (Invited Talk)

机译：函数式编程语言的一些历史（特邀演讲）
- 作者：D.A. Turner
- 会议名称：《International symposium on trends in functional programming》 | 2013年
2.Combining Deep and Shallow Embedding for EDSL

机译：结合浅层和浅层嵌入进行EDSL
- 作者：Josef Svenningsson;Emil Axelsson
- 会议名称：《International symposium on trends in functional programming》 | 2013年
3.The Blame Theorem for a Linear Lambda Calculus with Type Dynamic

机译：动态类型的线性Lambda演算的责备定理
- 作者：Luminous Fennell;Peter Thiemann
- 会议名称：《International symposium on trends in functional programming》 | 2013年
- linear typing;
- gradual typing;
- subtyping;
4.Higher-Order Size Checking without Subtyping

机译：不带子类型的高阶尺寸检查
- 作者：Attila Gobi;Olha Shkaravska;Marko van Eekelen
- 会议名称：《International symposium on trends in functional programming》 | 2013年
5.Well-Typed Islands Parse Faster

机译：类型齐全的岛屿解析速度更快
- 作者：Erik Silkensen;Jeremy Siek
- 会议名称：《International symposium on trends in functional programming》 | 2013年
6.Higher-Order Strictness Typing

机译：高阶严格性键入
- 作者：Sjaak Smetsers;Marko van Eekelen
- 会议名称：《International symposium on trends in functional programming》 | 2013年
7.Call-by-Value Semantics for Mutually Recursive First-Class Modules

机译：相互递归的一流模块的按值调用语义
- 作者：Judith Rohloff;Florian Lorenzen
- 会议名称：《International symposium on trends in functional programming》 | 2013年
8.The Design of a Practical Proof Checker for a Lazy Functional Language

机译：惰性函数语言的实用证明检查器的设计
- 作者：Adam Procter;William L. Harrison;Aaron Stump
- 会议名称：《International symposium on trends in functional programming》 | 2013年
9.Towards a Framework for Building Formally Verified Supercompilers in Coq

机译：建立在Coq中建立正式验证的超级编译器的框架
- 作者：Dimitur Nikolaev Krustev
- 会议名称：《International symposium on trends in functional programming》 | 2013年
- program transformation;
- supercompilation;
- partial evaluation;
- deforestation;
- formal verification;
- Coq;
- dependent types;
10.Matching Problem for Regular Expressions with Variables

机译：带变量的正则表达式的匹配问题
- 作者：Vladimir Komendantsky
- 会议名称：《International symposium on trends in functional programming》 | 2013年
11.OCaml-Java: OCaml on the JVM

机译：OCaml-Java：JVM上的OCaml
- 作者：Xavier Clerc
- 会议名称：《International symposium on trends in functional programming》 | 2013年
- OCaml;
- Java;
- compiler;
- typer;
- concurrent programming;
- shared memory;
- software transactional memory;
12.The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming (Position Paper)

机译：函数式编程语言R和动态科学编程范例（位置论文）
- 作者：Baltasar Trancon y Widemann;Carl Friedrich Bolz;Clemens Grelck
- 会议名称：《International symposium on trends in functional programming》 | 2013年
13.Lingua Franca of Functional Programming (FP)

机译：Lingua Franca函数编程（FP）
- 作者：Peter Kourzanov;Henk Sips
- 会议名称：《International symposium on trends in functional programming》 | 2013年
14.Haskell Gets Argumentative

机译：Haskell引起争论
- 作者：Bas van Gijzel;Henrik Nilsson
- 会议名称：《International symposium on trends in functional programming》 | 2013年
- computational argumentation theory;
- domain-specific languages;
- functional programming;
15.Repeating History: Execution Replay for Parallel Haskell Programs

机译：重复历史记录：并行Haskell程序的执行重播
- 作者：Henrique Ferreiro;Vladimir Janjic;Laura M. Castro;Kevin Hammond
- 会议名称：《International symposium on trends in functional programming》 | 2013年
16.Supervised Workpools for Reliable Massively Parallel Computing

机译：受监管的工作池，用于可靠的大规模并行计算
- 作者：Robert Stewart;Phil Trinder;Patrick Maier
- 会议名称：《International symposium on trends in functional programming》 | 2013年
- Fault tolerance;
- workpools;
- parallel computing;
- Haskell;
17.RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software (Project Paper)

机译：发布：可靠的大型服务器软件的高级范例（项目论文）
- 作者：Olivier Boudeville;Francesco Cesarini;Natalia Chechina;Kenneth Lundin;Nikolaos Papaspyrou;Konstantinos Sagonas;Simon Thompson;Phil Trinder;Ulf Wiger
- 会议名称：《International symposium on trends in functional programming》 | 2013年
- Erlang;
- scalability;
- multicore systems;
- massive parallelism;
18.Towards Heterogeneous Computing without Heterogeneous Programming

机译：无需异构编程即可实现异构计算
- 作者：Miguel Diogo;Clemens Grelck
- 会议名称：《International symposium on trends in functional programming》 | 2013年
19.On Using Erlang for Parallelization Experience from Parallelizing Dialyzer

机译：从并行透析器中使用Erlang进行并行化体验
- 作者：Stavros Aronis;Konstantinos Sagonas
- 会议名称：《International symposium on trends in functional programming》 | 2013年
20.Preface

机译：前言
- 作者：Hans-Wolfgang Loidl;Ricardo Pena
- 会议名称：《International symposium on trends in functional programming》 | 2013年