Search Results: ICFP
- From an initialism: This is a redirect from an initialism to a related topic, such as the expansion of the initialism.
- Use {{R from acronym}} instead for abbreviations that are pronounced as words, such as NATO and RADAR.
- Use {{R from short name}} instead for the initials of a person's name.
- Use {{R from abbreviation}} instead for any other length reduction.
ICFP Programming Contest
Selasa, 2026-07-21 14:36:03The ICFP Programming Contest is an international programming competition held annually around June or July since 1998, with results announced at the International...
Click to read more »International Conference on Functional Programming
Senin, 2025-12-22 05:31:50Functional Programming". ICFP Steering Committee (2019). "The Functioning of ICFP" (PDF). ICFP main site ICFP 2023 conference ICFP Programming Contest...
Click to read more »Software testing
Kamis, 2026-08-06 03:01:25the fifth ACM SIGPLAN international conference on Functional programming. Icfp '00. pp. 268–279. doi:10.1145/351240.351266. ISBN 978-1-58113-202-1. S2CID 5668071...
Click to read more »SIGPLAN
Kamis, 2025-11-27 06:34:06Programming (PPoPP) International Conference on Functional Programming (ICFP) Systems, Programming, Languages, and Applications: Software for Humanity...
Click to read more »Martin Odersky
Kamis, 2026-04-02 03:50:58"Programming Reactive Systems". Retrieved 9 February 2021. "[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 14th)". YouTube. Official website...
Click to read more »Docker (software)
Jumat, 2026-07-03 21:34:27(Experience Report)". Proceedings of the ACM on Programming Languages. 9 (ICFP): 597–615. doi:10.1145/3747525. ISSN 2475-1421. Yegulalp, Serdar (April 4...
Click to read more »Matthias Felleisen
Jumat, 2026-08-07 00:34:00polymorphic delimited continuations by a type-directed selective CPS-transform". ICFP and ACM SIGPLAN NOTICES. ACM: 317–328. doi:10.1145/1596550.1596596. ISBN 978-1-60558-332-7...
Click to read more »Functional reactive programming
Minggu, 2025-08-31 06:44:05original formulation of functional reactive programming can be found in the ICFP 97 paper Functional Reactive Animation by Conal Elliott and Paul Hudak. FRP...
Click to read more »Baucau
Minggu, 2026-02-22 17:00:32produced hand crafts. The Instituto Católico para a Formação de Professores (ICFP) – the Catholic Teachers College – is owned by the diocese and is responsible...
Click to read more »Gennady Korotkevich
Selasa, 2026-07-21 12:55:37(individual) Bioinformatics Contest: 2017 and 2019 winner, 2018 3rd place. ICFP Programming Contest: 2021 winner (team) Codechef Snackdown : Codechef Snackdown...
Click to read more »Filesystem Hierarchy Standard
Sabtu, 2026-06-20 07:34:35Andres (September 2008). NixOS: A Purely Functional Linux Distribution (PDF). ICFP 2008: 13th ACM SIGPLAN International Conference on Functional Programming...
Click to read more »Simon Peyton Jones
Minggu, 2026-06-28 09:39:16Fellows of the BCS". British Computer Society. 2023. "[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 14th)". YouTube. "No. 63714"...
Click to read more »Programming language theory
Senin, 2025-11-10 20:45:37Implementation (PLDI), the International Conference on Functional Programming (ICFP), the international conference on Object-Oriented Programming, Systems, Languages...
Click to read more »Rocq
Senin, 2026-04-20 07:48:30backward reasoning in Coq". Proceedings of the ACM on Programming Languages. 2 (ICFP): 78:1–78:31. doi:10.1145/3236773. hdl:21.11116/0000-0003-2E8E-B. Grégoire...
Click to read more »Bogosort
Jumat, 2026-07-31 09:36:05the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP '05) (PDF), SIGPLAN Notices, pp. 192–203, doi:10.1145/1086365.1086390, S2CID 1435535...
Click to read more »Haskell
Jumat, 2026-07-17 21:23:39concurrent with the International Conference on Functional Programming (ICFP) including workshops such as the Haskell Symposium (formerly the Haskell...
Click to read more »Bazel (software)
Kamis, 2026-05-21 15:02:47Systems à la Carte". Proceedings of the ACM on Programming Languages. 2 (ICFP): 1–29. doi:10.1145/3236774.{{cite journal}}: CS1 maint: multiple names:...
Click to read more »Nix (package manager)
Rabu, 2026-08-05 01:14:22Nicolas (September 2008). NixOS: A Purely Functional Linux Distribution (PDF). ICFP 2008: 13th ACM SIGPLAN International Conference on Functional Programming...
Click to read more »Simon Marlow
Jumat, 2026-05-15 17:54:20for their work on GHC. In 2019, Marlow was awarded the Most Influential ICFP Paper award for "Runtime Support for Multicore Haskell". Marlow, Simon (July...
Click to read more »Robert Bruce Findler
Sabtu, 2026-05-09 15:28:08Racket In 2012, he and Matthias Felleisen were awarded the Most Influential ICFP Paper Award for their work on contracts Northwestern CS faculty listing,...
Click to read more »Chez Scheme
Senin, 2026-07-13 12:12:58Programming Languages. 3 (ICFP): 1–15. doi:10.1145/3341642. ISSN 2475-1421. Dybvig, R. Kent (2006-09-16). "The development of Chez Scheme". ICFP '06: Proceedings...
Click to read more »Jim O'Neill, Baron O'Neill of Gatley
Selasa, 2026-08-04 23:43:42Martin (5 May 2011). "Are MINTs the next big investment opportunity?". icfp.co.uk. Fraser, Ian (10 May 2011). "Fidelity is confident its MINTs won't...
Click to read more »List of computer science conferences
Rabu, 2026-06-03 07:42:01Programming HOPL – ACM SIGPLAN History of Programming Languages Conference ICFP – ACM SIGPLAN International Conference on Functional Programming ICLP – ALP...
Click to read more »Simon Thompson (professor)
Jumat, 2025-09-19 06:38:04Exceptions and Side Effects. International Conference on Functional Programming (ICFP). Online – via ACM SIGPLAN. Thompson, Simon (May 1997). Higher-order + Polymorphic...
Click to read more »Boomerang (programming language)
Kamis, 2025-04-03 10:22:28appear in ACM SIGPLAN International Conference on Functional Programming (ICFP), Victoria, British Columbia, September, 2008. full text alternately host...
Click to read more »List of universities in Timor-Leste
Kamis, 2026-07-23 11:03:26the original on 12 September 2024. Retrieved 12 September 2024. "About ICFP". ICFP. Archived from the original on 12 September 2024. Retrieved 8 September...
Click to read more »JoCaml
Rabu, 2025-01-08 14:12:39Camls 'R Us to implement a distributed ray tracer, earning 2nd place on the ICFP 2000 programming contest. The name is a reference to Joe Camel, a cartoon...
Click to read more »Paul Hudak
Jumat, 2026-07-24 17:59:34Computing Machinery. Retrieved May 1, 2015. "ACM SIGPLAN: Most Influential ICFP Paper Award". Association for Computing Machinery. Retrieved May 1, 2015...
Click to read more »OCaml
Kamis, 2026-08-06 09:23:42(Experience Report)". Proceedings of the ACM on Programming Languages. 9 (ICFP): 597–615. doi:10.1145/3747525. ISSN 2475-1421. Wikibooks has a book on the...
Click to read more »Partial application
Minggu, 2026-02-15 11:21:52"Making a Fast Curry: Push/Enter vs. Eval/Apply for Higher-order Languages", ICFP '04 Proceedings of the ninth ACM SIGPLAN international conference on Functional...
Click to read more »Kathleen Fisher
Kamis, 2026-02-05 01:17:57Programming Languages (SIGPLAN) and has chaired three of their major conferences, ICFP in 2004, OOPSLA in 2011, and PLDI in 2019. She co-founded SIGPLAN’s Programming...
Click to read more »Dependent type
Selasa, 2026-06-09 03:54:56ISBN 978-91-7291-996-9. Oury, Nicolas; Swierstra, Wouter (2008). "The Power of Pi" (PDF). ICFP '08: Proceedings of the 13th ACM SIGPLAN international conference on Functional...
Click to read more »Functional programming
Rabu, 2026-07-29 06:09:47Washburn (April 2006). "Simple unification-based type inference for GADTs". Icfp 2006: 50–61. "OCaml Manual". caml.inria.fr. Retrieved 2021-03-08. "Algebraic...
Click to read more »Kind (type theory)
Sabtu, 2026-07-18 19:31:41Retrieved 23 July 2012. "9.1. Language options — Glasgow Haskell Compiler Users Guide". Weirich et al., System FC with explicit kind equality, ICFP '13...
Click to read more »Julia Lawall
Senin, 2026-05-25 12:51:23normal forms in the lambda calculus, won the inaugural Most Influential ICFP Paper Award of ACM SIGPLAN, ten years after its publication in 1996. Additionally...
Click to read more »Gabriele Keller
Minggu, 2025-12-28 21:08:15families and type-level programming in Haskell won the Most Influential ICFP Paper Award of ACM SIGPLAN, ten years after its publication in 2005. Keller...
Click to read more »F* (programming language)
Minggu, 2026-04-26 16:59:20(September 2011). Secure distributed programming with value-dependent types. ICFP '11: Proceedings of the 16th ACM SIGPLAN International Conference on Functional...
Click to read more »Kenneth E. Iverson
Senin, 2026-02-02 12:19:59in J Arithmetic Calculus Concrete Math Companion Exploring Math J Phrases ICFP '98 Contest Winners Math for the Layman Language design & implementation...
Click to read more »Instituto Católico para Formação de Professores
Rabu, 2026-02-11 19:19:34The Instituto Católico para Formação de Professores (ICFP), also referred to in English as the Catholic Teachers' College, is a teachers' college in Baucau...
Click to read more »Phil Bagwell
Jumat, 2026-01-23 04:52:15posthumously in 2015) with Nicolas Stucki, Tiark Rompf, and Vlad Ureche, ICFP 2015 "RRB-Trees: Efficient Immutable Vectors" (2012) with Tiark Rompf, EPFL...
Click to read more »Polyvariance
Selasa, 2023-08-08 22:36:10the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP 2016. New York, NY, USA: Association for Computing Machinery. pp. 407–420...
Click to read more »Matthew Flatt
Senin, 2026-03-16 22:15:23seventh ACM SIGPLAN international conference on Functional programming. ICFP '02. New York, NY, USA: Association for Computing Machinery. pp. 72–83. doi:10...
Click to read more »Conor McBride
Kamis, 2026-07-30 05:54:1715 lectures) (video). Iain McGinniss. McBride, Conor (10 September 2012). ICFP 2012 Monday keynote. Conor McBride: Agda-curious? (video). Malcolm Wallace...
Click to read more »Catholic higher education
Jumat, 2026-07-24 02:53:06Singapore: Springer Nature. p. 340. ISBN 978-981-99-3382-2. "About ICFP". ICFP. Retrieved 2024-09-08. "Resultados da Avaliação e Acreditação Institucional...
Click to read more »Yoneda lemma
Selasa, 2026-07-28 17:50:40optics and the Yoneda lemma (functional pearl)". Proc. ACM Program. Lang. 2 (ICFP): 84:1–84:27. doi:10.1145/3236779. Beurier & Pastor (2019), Lemma 2.10 (Contravariant...
Click to read more »Generalized algebraic data type
Sabtu, 2026-02-14 12:35:01Proceedings of the ACM International Conference on Functional Programming (ICFP'06), Portland. Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J. (2006)...
Click to read more »QuickCheck
Sabtu, 2026-02-14 06:18:39Proceedings of the International Conference on Functional Programming (ICFP), ACM SIGPLAN. Retrieved January 29, 2006. Claessen, Koen & Hughes, John...
Click to read more »Racket (programming language)
Jumat, 2026-07-31 11:24:35(Experience Report)". Proceedings of the ACM on Programming Languages. 3 (ICFP): 1–15. doi:10.1145/3341642. ISSN 2475-1421. "Racket 7.5 release". Packt...
Click to read more »Paris Sciences et Lettres University
Kamis, 2026-06-18 00:05:38of excellence (Labex) within PSL: CelTisPhyBio, DCBIOL, DEEP, DYNAMO, ENS-ICFP, ESEP, IEC, IPGG, MemoLife, TransferS, and WIFI. In 2014, the Corail, HaStec...
Click to read more »Symposium on Principles of Programming Languages
Senin, 2025-12-22 10:26:05for Inference (LAFI) International Conference on Functional Programming (ICFP) Programming Language Design and Implementation (PLDI) POPLmark challenge...
Click to read more »Brzozowski derivative
Minggu, 2026-06-21 17:36:20the 16th ACM SIGPLAN international conference on Functional Programming (ICFP). pp. 189–195. doi:10.1145/2034773.2034801. Michael D. Adams; Celeste Hollenbeck;...
Click to read more »Glasgow Haskell Compiler
Rabu, 2026-04-29 16:49:54Procedures of the ACM SIGPLAN International Conference on Functional Programming (ICFP). Archived from the original on 23 September 2007. Mitchell, Neil; Fletcher...
Click to read more »Sivananthi Thanenthiran
Minggu, 2022-08-14 08:11:17on sexual and reproductive health and rights. "Sivananthi Thanenthiran – ICFP". Retrieved 5 April 2021. "Sivananthi Thanenthiran | She Decides". Retrieved...
Click to read more »Lennart Augustsson
Kamis, 2024-06-13 11:06:37Augustsson, Lennart (1998). Cayenne – a language with dependent types. ICFP '98. Proceedings of the third ACM SIGPLAN international conference on Functional...
Click to read more »Xmonad
Rabu, 2025-09-17 19:49:13Voigtländer, J. (ed.). Haskell '12 Proceedings of the 2012 Haskell Symposium. ICFP 2012 The 17th ACM SIGPLAN International Conference on Functional Programming...
Click to read more »Continuation
Jumat, 2026-06-19 23:59:4638(2), pp. 57–64, 2003. ACM SIGPLAN Workshop on Continuations 2011 at the ICFP. Continuations for Curmudgeons by Sam Ruby Teach Yourself Scheme in Fixnum...
Click to read more »Generic programming
Jumat, 2026-07-31 20:28:15Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP), 2004. Simon Peyton Jones, editor, The Haskell 98 Language Report, Revised...
Click to read more »Hindley–Milner type system
Minggu, 2026-03-22 09:41:29Easy". 25th ACM SIGPLAN International Conference on Functional Programming - ICFP 2020, [Online event], August 24–26, 2020. doi:10.1145/3409006. Cardelli,...
Click to read more »History of Programming Languages (conference)
Senin, 2026-03-30 01:28:15ACM-MM AIES ASPLOS CHI DAC FAccT FCRC FOGA GECCO GHC HOPL Hot Chips Hypertext ICFP ISCA ISMM ISPD ISSAC JCDL MICRO MobiCom PLDI PODC PODS POPL RecSys SC SIGCOMM...
Click to read more »Slirp
Senin, 2026-03-16 10:25:50(Experience Report)". Proceedings of the ACM on Programming Languages. 9 (ICFP): 597–615. doi:10.1145/3747525. ISSN 2475-1421. Madhavapeddy, Anil; Scott...
Click to read more »Topcoder
Sabtu, 2026-07-11 20:44:08Contest CodeSignal Codeforces Facebook Hacker Cup Google Code Jam HackerRank ICFP Programming Contest Internet Problem Solving Contest Kaggle Online judge...
Click to read more »Arrow (computer science)
Jumat, 2025-08-22 13:18:10the topic of: Arrows Arrows: A General Interface to Computation A New Notation for Arrows, Ross Paterson, in ICFP, Sep 2001 Arrow notation ghc manual...
Click to read more »ACM Computing Surveys
Minggu, 2026-01-18 16:39:59ACM-MM AIES ASPLOS CHI DAC FAccT FCRC FOGA GECCO GHC HOPL Hot Chips Hypertext ICFP ISCA ISMM ISPD ISSAC JCDL MICRO MobiCom PLDI PODC PODS POPL RecSys SC SIGCOMM...
Click to read more »Incremental computing
Minggu, 2026-06-21 09:38:18Acar. Implicit self-adjusting computation for purely functional programs. ICFP '11. pp. 129–141. Archived from the original on 2016-10-30. Retrieved 2018-03-12...
Click to read more »Higher-order abstract syntax
Kamis, 2025-12-11 06:44:16original (PDF) on 2006-10-11. Eli Barzilay (2006). A Self-Hosting Evaluator using HOAS (PDF). ICFP Workshop on Scheme and Functional Programming 2006....
Click to read more »Nanopass compiler
Kamis, 2026-07-09 05:39:28(2013-09-25). "A nanopass framework for commercial compiler development". ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional...
Click to read more »Peter Landin
Jumat, 2026-07-17 23:01:44London, UK, 5 June 2001 Memorial talk on Landin's life by Olivier Danvy at ICFP 2009 Peter Landin's talk at Program Verification and Semantics: The Early...
Click to read more »Principal type
Selasa, 2025-09-02 14:40:07Principles and practice of declarative programming. Castagna, Giuseppe; Lanvin, Victor. "Gradual Typing with Union and Intersection Types". ICFP 2017. v t e...
Click to read more »Standard ML
Rabu, 2025-12-31 04:13:13algorithm parameterized over an abstract queue structure: (* after Okasaki, ICFP, 2000 *) functor BFS (Q: QUEUE) = struct datatype 'a tree = E | T of 'a *...
Click to read more »Row polymorphism
Kamis, 2026-05-14 12:01:09Umut A. Acar, Wonseok Chae, Extensible programming with first-class cases, ICFP '06 D. Leijen. Koka: Programming with row polymorphic effect types. In P...
Click to read more »Anil Madhavapeddy
Rabu, 2026-02-04 02:10:06parallelism onto OCaml". Proceedings of the ACM on Programming Languages. 4 (ICFP): 113–1–113:30. arXiv:2004.11663. doi:10.1145/3408995. S2CID 216144811. Sivaramakrishnan...
Click to read more »Catamorphism
Sabtu, 2026-07-18 05:28:58the 16th ACM SIGPLAN international conference on Functional programming. ICFP '11. Catamorphisms at HaskellWiki Catamorphisms by Edward Kmett Catamorphisms...
Click to read more »Dave Yeske
Selasa, 2026-03-17 16:25:28Financial Planners (ICFP) in 1993 and subsequently served on the ICFP's national board of directors beginning in 1997. The ICFP was a predecessor of...
Click to read more »Owl Scientific Computing
Sabtu, 2025-09-06 21:55:12citizens". OCaml Workshop, ICFP 2019. 2019. Retrieved 2020-11-11. "Executing Owl Computation on GPU and TPU". OCaml Workshop, ICFP 2019. 2019. Retrieved 2020-11-11...
Click to read more »Abdul Rahman Katanani
Kamis, 2025-07-31 22:19:50internationale des arts, 18 rue de l'Hôtel de Ville 75004 Paris". www.institut-icfp.info. Archived from the original on 2017-12-15. Retrieved 2016-06-02. "New...
Click to read more »WxHaskell
Minggu, 2026-01-04 18:06:43Haskell/GUI Official website WxHaskell on GitHub, read-only archive The 2004 ICFP Programming Contest. The winning entry by the team Dunkosmiloolump was written...
Click to read more »Abstract machine
Senin, 2026-06-22 22:08:00clairvoyant call-by-value". Proceedings of the ACM on Programming Languages. 3 (ICFP): 1–23. doi:10.1145/3341718. ISSN 2475-1421. S2CID 195782686. "Prolog | An...
Click to read more »Pure type system
Sabtu, 2026-01-24 17:19:3820260123 User's Guide". Weirich et al., System FC with Explicit Kind Equality, ICFP '13: "Therefore, we follow pure type systems (Barendregt 1992) and unify...
Click to read more »Serene (pianist)
Sabtu, 2026-02-14 10:31:38McDevitt, Dan (18 March 2017). "Information Controls Fellows Reflect On Their ICFP Experience". Open Technology Fund. Retrieved 18 December 2021. "Wie eine...
Click to read more »Computers in Entertainment
Kamis, 2023-04-20 08:38:10ACM-MM AIES ASPLOS CHI DAC FAccT FCRC FOGA GECCO GHC HOPL Hot Chips Hypertext ICFP ISCA ISMM ISPD ISSAC JCDL MICRO MobiCom PLDI PODC PODS POPL RecSys SC SIGCOMM...
Click to read more »Normalisation by evaluation
Sabtu, 2025-07-12 19:38:18Birkedal, Lars (2019). "Implementing a Modal Dependent Type Theory" (PDF). ICFP. Danvy, Olivier (1996). "Type-directed partial evaluation" (gzipped PostScript)...
Click to read more »List of computer science conference acronyms
Kamis, 2026-05-21 08:33:13Vision ICDCS – International Conference on Distributed Computing Systems ICFP – International Conference on Functional Programming ICIS – International...
Click to read more »Haskell features
Rabu, 2025-08-27 11:20:26at the Wayback Machine (Simon Marlow, Simon Peyton Jones, Satnam Singh) ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional...
Click to read more »Intersection type
Jumat, 2026-02-06 15:48:48Giuseppe; Lanvin, Victor. "Gradual Typing with Union and Intersection Types". ICFP 2017. Giuseppe Castagna, Mickaël Laurent, Kim Nguyễn, Polymorphic Type Inference...
Click to read more »SequenceL
Senin, 2026-05-11 01:28:23more boilerplate: reflection, zips, and generalised casts", Proceedings of ICFP 2004 Cooke, Daniel; Rushton, Nelson (January 1993), "Iterative and Parallel...
Click to read more »