HOME

TheInfoList



Click Here for Items Related To - Functional Programming Languages And Computer Architecture
OR:
Functional Programming Languages And Computer Architecture on:   [Wikipedia]   [Google]   [Amazon]

The ACM
SIGPLAN SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages. Conferences * Principles of Programming Languages (POPL) * Programming Language Design and Implementation (PLDI) * International Symposium on ...
International Conference on Functional Programming (ICFP) is an annual
academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journals an ...
in the field of
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
sponsored by the ACM
SIGPLAN SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages. Conferences * Principles of Programming Languages (POPL) * Programming Language Design and Implementation (PLDI) * International Symposium on ...
, in association with IFIP Working Group 2.8 (Functional Programming). The conference focuses on
functional programming In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that ...
and related areas of
programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...
s,
logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...
,
compiler In computing, a compiler is a computer program that translates computer code written in one programming language (the ''source'' language) into another language (the ''target'' language). The name "compiler" is primarily used for programs that ...
s and
software development Software development is the process of conceiving, specifying, designing, programming, documenting, testing, and bug fixing involved in creating and maintaining applications, frameworks, or other software components. Software development invol ...
. The ICFP was first held in 1996, replacing two biennial conferences: Functional Programming and Computer Architecture (FPCA) and LISP and Functional Programming (LFP). The conference location alternates between Europe (odd-numbered years) and North America (even-numbered years). The conference usually lasts 3 days, surrounded by co-located workshops devoted to particular functional languages or application areas. The ICFP has also held an open annual programming contest since 1998, called the
ICFP Programming Contest The ICFP Programming Contest is an international programming competition held annually around June or July since 1998, with results announced at the International Conference on Functional Programming. Teams may be of any size and any programming la ...
.


History

* 2012: 17th ACM SIGPLAN International Conference on Functional Programming in
Copenhagen Copenhagen ( or .; da, København ) is the capital and most populous city of Denmark, with a proper population of around 815.000 in the last quarter of 2022; and some 1.370,000 in the urban area; and the wider Copenhagen metropolitan ar ...
,
Denmark ) , song = ( en, "King Christian stood by the lofty mast") , song_type = National and royal anthem , image_map = EU-Denmark.svg , map_caption = , subdivision_type = Sovereign state , subdivision_name = Danish Realm, Kingdom of Denmark ...
(General Chair: Peter Thiemann,
University of Freiburg The University of Freiburg (colloquially german: Uni Freiburg), officially the Albert Ludwig University of Freiburg (german: Albert-Ludwigs-Universität Freiburg), is a public university, public research university located in Freiburg im Breisg ...
; Program Chair: Robby Findler,
Northwestern University Northwestern University is a private research university in Evanston, Illinois. Founded in 1851, Northwestern is the oldest chartered university in Illinois and is ranked among the most prestigious academic institutions in the world. Charte ...
)


Affiliated events

* Commercial Users of Functional Programming (CUFP) * Erlang Workshop * Haskell Symposium * Functional and Declarative Programming in Education (FDPE) * Functional Programming Developer Tracks (DEFUN) * MEchanized Reasoning about Languages with varIable biNding (MERLIN) * Workshop on Approaches and Applications of Inductive Programming * Workshop on Curry and Functional Logic Programming * Workshop on Generic Programming (WGP) * Workshop on Mechanizing Metatheory (WMM) * Workshop on ML
Workshop on Scheme and Functional Programming
* Programming Languages meets Program Verification (PLPV) — 2007 only, now affiliated with
POPL The annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of prog ...


See also

; Related conferences * FLOPS:
International Symposium on Functional and Logic Programming International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...
* IFL:
International Symposia on Implementation and Application of Functional Languages International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...
* ISMM:
International Symposium on Memory Management The International Symposium on Memory Management (ISMM) is an ACM SIGPLAN symposium on memory management know also as Institut des Sciences de Maçon Multitasking. Before becoming a conference it was known as the International Workshop on Memory Ma ...
* MPC:
International Conference on Mathematics of Program Construction International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...
* PLDI:
Programming Language Design and Implementation Programming Language Design and Implementation (PLDI) is one of the ACM SIGPLAN's most important conferences. The precursor of PLDI was the Symposium on Compiler Optimization, held July 27–28, 1970 at the University of Illinois at Urbana-Ch ...
* POPL:
Principles of Programming Languages The annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of prog ...
* PPDP:
International Conference on Principles and Practice of Declarative Programming International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...
* TFP: Symposium on Trends in Functional Programming * TLCA:
International Conference on Typed Lambda Calculi and Applications International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...
* TLDI:
International Workshop on Types in Language Design and Implementation International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...
* SAS:
International Static Analysis Symposium International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...
; Related journals *
Journal of Functional Programming The ''Journal of Functional Programming'' is a peer-reviewed scientific journal covering the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics ...
*
Journal of Functional and Logic Programming A journal, from the Old French ''journal'' (meaning "daily"), may refer to: *Bullet journal, a method of personal organization *Diary, a record of what happened over the course of a day or other period *Daybook, also known as a general journal, a ...
*
Higher-Order and Symbolic Computation ''Higher-Order and Symbolic Computation'' (formerly ''LISP and Symbolic Computation''; print: , online: ) was a computer science journal published by Springer Science+Business Media. It focuses on programming concepts and abstractions and program ...
*
ACM Transactions on Programming Languages and Systems The ''ACM Transactions on Programming Languages and Systems'' (''TOPLAS'') is a bimonthly, open access, peer-reviewed scientific journal on the topic of programming languages published by the Association for Computing Machinery. Background Publ ...


External links


ICFP main site

ICFP 2008 conference



ICFP 2006 conference

ICFP Programming Contest

Functional Programming conference
Computer science conferences Functional programming Programming languages conferences {{formalmethods-stub