Haskell 2018 - ICFP 2018
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
GitHub - gasche/icfp2016-papers: Link to preprints for ICFP'16 and co-located events
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
GitHub - mpickering/icfp2015-papers: Accepted papers for ICFP 2015
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
GitHub - gasche/icfp2013-papers: List of ICFP'13 accepted papers, with links to preprint or additional information when available
"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
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ICFP 2020 & MSFP 2020
ICFP 2018 - YouTube
ICFP 2017
GitHub - gasche/icfp2017-papers: Link to preprints for ICFP'17 and colocated events
HOPE 2016
ICFP 2015
ICFP 2014 Workshops
GitHub - yallop/icfp2014-papers: Accepted papers for ICFP 2014