Meta tags:
keywords=functional programming, functional programming languages;
description=The conference provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.;

Headings (most frequently used words):

the, acm, sigplan, international, conference, on, functional, programming, scope,

Text of the page (most frequently used words):
and (18), programming (17), the (14), functional (11), icfp (7), #conference (7), that (5), from (5), languages (5), acm (4), design (4), for (4), international (4), sigplan (3), computing (3), systems (3), program (3), interest (3), information (3), about (3), sam (2), westrick (2), events (2), home (2), are (2), papers (2), working (2), particular (2), application (2), formal (2), hardware (2), processing (2), interfaces (2), abstract (2), transformation (2), proof (2), type (2), theory (2), foundations (2), time (2), components (2), concurrency (2), language (2), all (2), topics (2), principles (2), practice (2), scope (2), including (2), well (2), with (2), conferences (2), work (2), association (2), group (2), publicity, chair, related, contest, affiliated, history, organisation, 2027, also, solicits, which, short, provide, evidence, really, works, describe, obstacles, have, kept, experience, reports, elegant, instructive, fun, essays, pearls, symbolic, methods, tools, artificial, intelligence, distributed, web, databases, xml, scientific, numerical, graphical, user, multimedia, scripting, system, administration, security, education, applications, domain, specific, interpretation, partial, evaluation, calculation, analysis, semantics, lambda, calculus, rewriting, monads, continuations, control, state, effects, algorithms, data, structures, patterns, specification, verification, validation, assistants, debugging, testing, tracing, profiling, software, development, techniques, machines, compilation, compile, run, optimization, memory, management, multi, threading, exploiting, parallel, foreign, functions, services, low, level, machine, resources, implementation, distribution, modules, composition, metaprogramming, relations, object, oriented, logic, interoperability, seeks, original, art, science, submissions, invited, features, abstraction, includes, encourage, both, purely, applicative, imperative, objects, include, this, page, designed, permanent, relevant, itself, contains, pointers, journals, other, workshops, may, please, email, suggestions, improvement, provides, forum, researchers, developers, hear, latest, implementations, uses, covers, entire, spectrum, its, peripheries, annual, sponsored, machinery, under, aegis, special, federation, combined, two, former, biennial, lisp, lfp, computer, architecture, fpca, ifip,

Text of the page (random words):
the international conference on functional programming the acm sigplan international conference on functional programming icfp international conference on functional programming is an annual programming language conference it is sponsored by the association for computing machinery acm under the aegis of the acm special interest group on programming languages sigplan in association with working group 2 8 of the international federation of information processing ifip icfp combined two former biennial conferences functional programming and computer architecture fpca and lisp and functional programming lfp icfp provides a forum for researchers and developers to hear about the latest work on the design implementations principles and uses of functional programming the conference covers the entire spectrum of work from practice to theory including its peripheries this page is designed to be a permanent home for information about or relevant to icfp as well as information about the conference itself it contains pointers to journals other conferences and workshops and so on that may be of interest please email suggestions for improvement to sam westrick scope icfp seeks original papers on the art and science of functional programming submissions are invited on all topics from principles to practice from foundations to features from abstraction to application the scope includes all languages that encourage functional programming including both purely applicative and imperative languages as well as languages with objects or concurrency particular topics of interest include language design type systems concurrency and distribution modules components and composition metaprogramming relations to object oriented or logic programming interoperability implementation abstract machines compilation compile time and run time optimization memory management multi threading exploiting parallel hardware interfaces to foreign functions services components or low level machine resources software development techniques algorithms and data structures design patterns specification verification validation proof assistants debugging testing tracing profiling foundations formal semantics lambda calculus rewriting type theory monads continuations control state effects transformation and analysis abstract interpretation partial evaluation program transformation program calculation program proof applications and domain specific languages symbolic computing formal methods tools artificial intelligence systems programming distributed systems and web programming hardware design databases xml processing scientific and numerical computing graphical user interfaces multimedia programming scripting system administration security education functional pearls elegant instructive and fun essays on functional programming the conference also solicits experience reports which are short papers that provide evidence that functional programming really works or describe obstacles that have kept it from working in a particular application home icfp 2027 organisation history affiliated events programming contest related events acm sigplan sam westrick icfp publicity chair