About CiteSeerX is an evolving scientific literature digital library and search engine. @2007-2024 The Pennsylvania State University
This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of practical labwork material, to help make functional-language implementations `come alive’, by helping the reader to develop, modify and experiment with some non-trivial compilers. The unusual aspect of the book is that it is mea
Workshop on Functional Art, Music, Modeling and Design Home FARM 2023 Steering Committee Past Workshops 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 Welcome to the FARM! The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) is co-located with ICFP and gathers together people who are harnessing functional techniques in the pursuit of creativity and expres
In this article, we explain how monoids enable one and the same data structure, the finger tree, to implement virtually any other data structure; they arise by different choices of monoids. The technique is discussed using the examples of a list with random access and a priority queue. This post grew out of the big monoid discussion on the haskell-cafe mailing list. Introduction A very powerful ap
Incremental Regular Expressions¶ By Eugene Kirpichov <ekirpichov@gmail.com> Code available at github: http://github.com/jkff/ire This article was originally published in the Russian functional programming journal http://fprog.ru/ and this translation was intended to be published in Peter Seibel’s http://codequarterly.com/ journal, but as Peter eventually decided not to proceed with the journal, I
Monads, Arrows, and Idioms Philip Wadler The arrow calculus Sam Lindley, Philip Wadler, and Jeremy Yalloop, Journal of Functional Programming 20(1):51&em;69, 2010. We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both to Moggi’s metalanguage for monads and to Paterson’s arrow notation. Arrows are classically defined by extending lambda calculus
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く