posted by system || 2650 views || tracked by 2 users: [display]

ICFP 2012 : ACM SIGPLAN International Conference on Functional Programming

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Functional Programming
 
Link: http://icfpconference.org/icfp2012
 
When Sep 10, 2012 - Sep 12, 2012
Where Copenhagen, Denmark
Submission Deadline Mar 12, 2012
Categories    functional programming   programming languages
 

Call For Papers

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.

Related Resources

PLDI 2023   The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
TFP 2023   Trends in Functional Programming
PPoPP 2023   PPoPP 2023 : The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
PADL 2023   PADL 2023: The 25th International Symposium on Practical Aspects of Declarative Languages
ISMM 2023   The 2023 ACM SIGPLAN International Symposium on Memory Management
OOPSLA (R1) 2023   Round 1 - The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity
IFL 2022   The 34th Symposium on Implementation and Application of Functional Languages
TFPIE 2023   Trends in Functional Programming in Education
PLDI 2022   The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation
ASPLOS 2023   Architectural Support for Programming Languages and Operating Systems