Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
International Conference on Functional Programming
open-in-new
<h2 id="history">History</h2> <ul><li>2012: 17th ACM SIGPLAN International Conference on Functional Programming in <a href="/facts/Copenhagen/58Tl28IX">Copenhagen</a>, <a href="/facts/Denmark/KVtykzsw">Denmark</a> (General Chair: Peter Thiemann, <a href="/facts/University_of_Freiburg/38naUTYA">University of Freiburg</a>; Program Chair: <a href="/facts/Robert_Bruce_Findler/et97GVMA">Robby Findler</a>, <a href="/facts/Northwestern_University/4dunJHBf">Northwestern University</a>)</li></ul> <h2 id="see-also">See also</h2> Related conferences <ul><li>FSCD : International Conference on Formal Structures for Computation and Deduction</li> <li>FLOPS: International Symposium on Functional and Logic Programming</li> <li>IFL: International Symposia on Implementation and Application of Functional Languages</li> <li>ISMM: <a href="/facts/International_Symposium_on_Memory_Management/WjcTJuIr">International Symposium on Memory Management</a></li> <li>MPC: International Conference on Mathematics of Program Construction</li> <li>PLDI: <a href="/facts/Programming_Language_Design_and_Implementation/4Hn10W0u">Programming Language Design and Implementation</a></li> <li>POPL: <a href="/facts/Principles_of_Programming_Languages/kS3uDAkn">Principles of Programming Languages</a></li> <li>PPDP: International Conference on Principles and Practice of Declarative Programming</li> <li>TFP: <a href="/facts/Symposium_on_Trends_in_Functional_Programming/xaTw33Ln">Symposium on Trends in Functional Programming</a></li> <li>TLCA: International Conference on Typed Lambda Calculi and Applications</li> <li>TLDI: International Workshop on Types in Language Design and Implementation</li> <li>SAS: International Static Analysis Symposium</li></ul> Related journals <ul><li><a href="/facts/Journal_of_Functional_Programming/G17rdzl8">Journal of Functional Programming</a></li> <li>Journal of Functional and Logic Programming</li> <li><a href="/facts/Higher-Order_and_Symbolic_Computation/wxAxQtth">Higher-Order and Symbolic Computation</a></li> <li><a href="/facts/ACM_Transactions_on_Programming_Languages_and_Systems/nk6hTKJI">ACM Transactions on Programming Languages and Systems</a></li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="https://www.icfpconference.org/">ICFP main site</a></li> <li><a href="https://icfp23.sigplan.org/">ICFP 2023 conference</a></li> <li><a href="http://www.icfpcontest.org/">ICFP Programming Contest</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>"The ACM SIGPLAN International Conference on Functional Programming". <a href="http://icfpconference.org/index.html" target="_blank">http://icfpconference.org/index.html</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>ICFP Steering Committee (2019). "The Functioning of ICFP" (PDF). <a href="https://www.icfpconference.org/TheFunctioningofICFP.pdf" target="_blank">https://www.icfpconference.org/TheFunctioningofICFP.pdf</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> </ol>