当前期刊: Journal of Functional Programming Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • Tight typings and split bounds, fully developed
    J. Funct. Program. (IF 0.837) Pub Date : 2020-05-19
    BENIAMINO ACCATTOLI; STÉPHANE GRAHAM-LENGRAND; DELIA KESNER

    Multi types – aka non-idempotent intersection types – have been used. to obtain quantitative bounds on higher-order programs, as pioneered by de Carvalho. Notably, they bound at the same time the number of evaluation steps and the size of the result. Recent results show that the number of steps can be taken as a reasonable time complexity measure. At the same time, however, these results suggest that

    更新日期:2020-05-19
  • Local algebraic effect theories
    J. Funct. Program. (IF 0.837) Pub Date : 2020-05-11
    ŽIGA LUKŠIČ; MATIJA PRETNAR

    Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory, sacrificing both reasoning power and safety. We present an alternative approach where the type system tracks equations that are observed in subparts of the program, yielding

    更新日期:2020-05-11
  • Fault-tolerant functional reactive programming (extended version)
    J. Funct. Program. (IF 0.837) Pub Date : 2020-05-07
    IVAN PEREZ; ALWYN E. GOODLOE

    Highly critical application domains, like medicine and aerospace, require the use of strict design, implementation, and validation techniques. Functional languages have been used in these domains to develop synchronous dataflow programming languages for reactive systems. Causal stream functions and functional reactive programming (FRP) capture the essence of those languages in a way that is both elegant

    更新日期:2020-05-07
  • Build systems à la carte: Theory and practice
    J. Funct. Program. (IF 0.837) Pub Date : 2020-04-21
    ANDREY MOKHOV; NEIL MITCHELL; SIMON PEYTON JONES

    Build systems are awesome, terrifying – and unloved. They are used by every developer around the world, but are rarely the object of study. In this paper, we offer a systematic, and executable, framework for developing and comparing build systems, viewing them as related points in a landscape rather than as isolated phenomena. By teasing apart existing build systems, we can recombine their components

    更新日期:2020-04-21
  • Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
    J. Funct. Program. (IF 0.837) Pub Date : 2020-03-31
    JONATHAN IMMANUEL BRACHTHÄUSER; PHILIPP SCHUSTER; KLAUS OSTERMANN

    Effect handlers are a promising way to structure effectful programs in a modular way. We present the Scala library Effekt, which is centered around capability passing and implemented in terms of a monad for multi-prompt delimited continuations. Effekt is the first library implementation of effect handlers that supports effect safety and effect polymorphism without resorting to type-level programming

    更新日期:2020-03-31
  • Doo bee doo bee doo
    J. Funct. Program. (IF 0.837) Pub Date : 2020-03-31
    LUKAS CONVENT; SAM LINDLEY; CONOR MCBRIDE; CRAIG MCLAUGHLIN

    We explore the design and implementation of Frank, a strict functional programming language with a bidirectional effect type system designed from the ground up around a novel variant of Plotkin and Pretnar’s effect handler abstraction. Effect handlers provide an abstraction for modular effectful programming: a handler acts as an interpreter for a collection of commands whose interfaces are statically

    更新日期:2020-03-31
  • Many more predecessors: A representation workout
    J. Funct. Program. (IF 0.837) Pub Date : 2020-03-30
    OLEG KISELYOV

    From the outset, lambda calculus represented natural numbers through iterated application. The successor hence adds one more application, and the predecessor removes. In effect, the predecessor un-applies a term—which seemed impossible, even to Church. It took Kleene a rather oblique glance to sight a related representation of numbers, with an easier predecessor. Let us see what we can do if we look

    更新日期:2020-03-30
  • Effect handlers via generalised continuations
    J. Funct. Program. (IF 0.837) Pub Date : 2020-03-16
    DANIEL HILLERSTRÖM; SAM LINDLEY; ROBERT ATKEY

    Plotkin and Pretnar’s effect handlers offer a versatile abstraction for modular programming with user-defined effects. This paper focuses on foundations for implementing effect handlers, for the three different kinds of effect handlers that have been proposed in the literature: deep, shallow, and parameterised. Traditional deep handlers are defined by folds over computation trees and are the original

    更新日期:2020-03-16
  • Elaborating dependent (co)pattern matching: No pattern left behind
    J. Funct. Program. (IF 0.837) Pub Date : 2020-01-21
    JESPER COCKX; ANDREAS ABEL

    In a dependently typed language, we can guarantee correctness of our programmes by providing formal proofs. To check them, the typechecker elaborates these programs and proofs into a low-level core language. However, this core language is by nature hard to understand by mere humans, so how can we know we proved the right thing? This question occurs in particular for dependent copattern matching, a

    更新日期:2020-01-21
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
智控未来
聚焦商业经济政治法律
跟Nature、Science文章学绘图
控制与机器人
招募海内外科研人才,上自然官网
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
湖南大学化学化工学院刘松
上海有机所
李旸
南方科技大学
西湖大学
伊利诺伊大学香槟分校
支志明
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug