Mezinárodní konference o funkčním programování - International Conference on Functional Programming
ACM SIGPLAN Mezinárodní konference o funkcionální programování ( ICFP ) je každoroční akademická konference v oboru počítačových věd sponzorované ACM SIGPLAN , ve spolupráci s IFIP pracovní skupiny 2.8 (funkcionální programování). Konference se zaměřuje na funkční programování a související oblasti programovacích jazyků , logiky , překladačů a vývoje softwaru .
ICFP se poprvé konal v roce 1996 a nahradil dvě dvouleté konference: Funkční programování a počítačová architektura ( FPCA ) a LISP a Funkční programování ( LFP ). Místo konání konference se střídá mezi Evropou (liché roky) a Severní Amerikou (sudé roky). 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 soutěž v programování, nazvanou ICFP Programming Contest .
Dějiny
- 2012: 17. mezinárodní konference ACM SIGPLAN o funkčním programování v Kodani v Dánsku (generální předseda: Peter Thiemann , University of Freiburg ; předseda programu: 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í sympozium 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: Symposium on Trends in Functional Programming
- TLCA: Mezinárodní konference o zadaných lambda kalkulích a aplikacích
- TLDI: Mezinárodní seminář 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 článek týkající se formálních metod je útržek . Wikipedii můžete pomoci rozšířením . |