Videos are available online. Dates: 27–28 September 2018, St. Louis, MO, United States The ACM SIGPLAN Haskell Symposium 2018 will be co-located with the 2018 International Conference on Functional Programming (ICFP), in St. Louis, MO, United States. The Haskell Symposium aims to present original research on Haskell, discuss practical experience and future development of the language, and to promo
A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors Katsuhiro Ueno, Atsushi Ohori (preprint) A Glimpse of Hopjs Manuel Serrano, Vincent Prunet (preprint from HAL) A Lambda-Calculus Foundation for Universal Probabilistic Programming Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak (preprint from arXiv) A New Verified Compiler Backend for CakeML Yo
Links to accepted papers for the 20th ACM SIGPLAN International Conference on Functional Programming (ICFP 2015). (Similar pages are available for ICFP 2012, ICFP 2013 and ICFP 2014. You may also be interested in Haskell 2014 accepted papers and PLDI 2014 accepted papers.) Status of links at last commit: ICFP Foundational Extensible Corecursion: A Proof Assistant Perspective (paper) Jasmin Christi
"Wellfounded Recursion with Copatterns: A Unified Approach to Termination and Productivity" (paper) (long version), by Andreas Abel and Brigitte Pientka "Productive Coprogramming with Guarded Recursion" (paper) (webpage), by Robert Atkey and Conor McBride "Using Circular Programs for Higher-Order Syntax [Functional Pearl]" (paper), by Emil Axelsson and Koen Claessen "Weak Optimality, and the Meani
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く