Mezinárodní konference o funkčním programování - International Conference on Functional Programming
The ACM SIGPLAN Mezinárodní konference o funkčním programování (ICFP) je roční akademická konference v oblasti počítačová věda sponzoruje ACM SIGPLAN, ve spojení s IFIP Pracovní skupina 2.8 (funkční programování). Konference se zaměřuje na Funkcionální programování a související oblasti programovací jazyky, logika, překladače a vývoj softwaru.
ICFP se poprvé konal v roce 1996 a nahradil dvě konference konané jednou za dva roky: Funkční programování a počítačová architektura (FPCA) a LISP a funkční programování (LFP). Místo konference se střídá mezi Evropou (liché roky) a Severní Amerikou (sudé roky)[Citace je zapotřebí ]. Konference obvykle trvá 3 dny a je obklopena společně umístěnými workshopy věnovanými konkrétním funkčním jazykům nebo aplikačním oblastem.
ICFP také pořádá od roku 1998 každoroční otevřenou programovací soutěž s názvem ICFP Programming Contest.
Dějiny
- 2012: 17. Mezinárodní konference ACM SIGPLAN o funkčním programování v Liberci Kodaň, Dánsko (Generální předseda: Peter Thiemann, Univerzita ve Freiburgu; Programová předsedkyně: Robby Findler, Northwestern University )
Přidružené akce
- Komerční uživatelé funkčního programování (CUFP)
- Erlang Workshop
- Haskell Symposium
- Funkční a deklarativní programování ve vzdělávání (FDPE)
- Stopy vývojářů funkčního programování (DEFUN)
- MEchanizované uvažování o jazycích s variabilním biNdingem (MERLIN)
- Workshop o přístupech a aplikacích induktivního programování
- Workshop o programování kari a funkční logice
- Workshop o obecném programování (WGP)
- Workshop o mechanizaci metateorie (WMM)
- Workshop o ML
- Workshop o schématu a funkčním programování
- Programming Languages meets Program Verification (PLPV) - pouze 2007, nyní přidružený k POPL
Viz také
- Související konference
- FLOPS: Mezinárodní symposium o funkčním a logickém programování
- IFL: Mezinárodní sympozia o implementaci a aplikaci funkčních jazyků
- ISMM: Mezinárodní symposium o správě paměti
- MPC: Mezinárodní konference o matematice konstrukce programů
- PLDI: Návrh a implementace programovacího jazyka
- POPL: Principy programovacích jazyků
- PPDP: Mezinárodní konference o zásadách a praxi deklarativního programování
- TFP: Sympózium o trendech ve funkčním programování
- TLCA: Mezinárodní konference o zadaných lambda kalkulech a aplikacích
- TLDI: Mezinárodní workshop o typech v jazykovém designu a implementaci
- SAS: Mezinárodní statistické statistické analýzy
- Související deníky
- Journal of Functional Programming
- Journal of Functional and Logic Programming
- Vyšší řád a symbolický výpočet
- Transakce ACM v programovacích jazycích a systémech
externí odkazy
- Hlavní stránka ICFP
- Konference ICFP 2008
- Konference ICFP 2007
- Konference ICFP 2006
- ICFP Programming Contest
- Konference o funkčním programování
Tento formální metody související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |