| Related sites for http://www.icfpconference.org/ |
| Inter_Server_net UNIX (with shell) or NT (with ASP). All accounts include CGI, POP3 and Web E-mail. Support: Toll free, live ICQ/AIM. | | KINGMAX Designs, manufactures, and markets a complete line of PCMCIA cards. | | Lush_Group_Inc Development of custom applications, including web-based and Tablet PC solutions. Also offer data collection tools, like the Emergency Management Communication System, which allows real-time analysis o | | Turntable Offer web design, programming, Flash, ECD/CD/DVD authoring, and video production. | | Web_Site_Promotion Search engine hints, promotional tools, client retention, link development, and design secrets. | | Kural_Tamil_Software Keyboard manager that helps to input Tamil characters in Microsoft Windows Applications. Package includes Kavithai Tamil/English Word Processor with spell checker, Paravai SMTP based Email client, Enc | | Geekgirl_Talk A collection of tutorials and step-by-step guides covering Windows, the Internet, word processors, and spreadsheet and database applications. | | Swynk_com__Systems_Management_Server Links to Systems Management Server resources. | | YAML_rb_is_YAML_for_Ruby YAML4R is a full-featured YAML parser and emitter for Ruby. Use as drop-in replacement for PStore, or use one of its several APIs to store object data in friendly and readable YAML style; write data s | | MIT_Project_MAC_(Switzerland)_Archive The MIT Project on Mathematics and Computation (Switzerland) has a public FTP archive with Scheme implementations, programs, and curiosities. | | Splitpea Command-line tool written in Python that can split a file into multiple fixed-size pieces and join those pieces to form the original file. Runs on Linux and Windows. GPL from dOxxx. | | Virtual_spending Financial forecasting and budgeting software for small businesses. | | iStumbler A free, open source tool for finding wireless networks and devices with an AirPort or Bluetooth equipped Macintosh. | | phpCatsoft Webpage generator for Animal or Pet web-sites. Features an administrative interface that allows non-technical users to about their animals, or animals in general. | | Erlang_User_Conference_2002 Eighth International Erlang/OTP User Conference. Stockholm, Sweden. (November 19, 2002) | | Holmes_Computer_Consultants Brief overview of systems design, project management, training, and support consulting services. | | Bookkey Allows organizing and accessing bookmarks using keywords instead of a hierarchical structure. | | Meta_Tag_Generator_-_Submit_Corner Creates tags like keyword, description, title, robot, language, revisit, abstract, author, copyright, distribution, expires. Includes a multiple submit tool. | | JaIM_at Public Jabber / XMPP server with MSN Yahoo AIM ICQ mail and SMS gateway. | | Bell,_Vance Offers web design, development, project management and consulting. Based in Philadelphia, Pennsylvania, United States. |
|
The ACM SIGPLAN International Conference on Functional Programming (ICFP)    The ACM SIGPLAN International Conference on Functional Programming (ICFP) Next conference: ICFP 2008 (Victoria, British Columbia, Canada; September 22-24, 2008) 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 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, language implementations, research groups, and so on, that may be of interest to functional programmers. Please email suggestions for other things that might be included, or URLs to add to lists already included, to Matthew Fluet.Contents Scope Affiliated workshops Programming contest Past and current ICFP conferences The ICFP organizational structure Steering Committee General Chair and Program Chair History SIGPLAN Awards Related conferences and workshops Related journals Other relevant linksScopeICFP seeks original papers on the art and science of functionalprogramming. Submissions are invited on all topics from principles topractice, from foundations to features, from abstraction toapplication. The scope includes all languages that encouragefunctional programming, including both purely applicative andimperative languages, as well as languages with objects andconcurrency. Particular topics of interest include: Applications and domain-specific languages: systems programming, scientific and numerical computing, symbolic computing, artificial intelligence, databases, graphical user interfaces, multimedia programming, scripting, system administration, distributed-systems and web programming, XML processing, security Foundations: formal semantics, lambda calculus, type theory, monads, continuations, control, state, effects Design: algorithms and data structures, modules, type systems, concurrency and distribution, components and composition, relations to object-oriented or logic programming Implementation: abstract machines, compile-time and run-time optimization, just-in-time compilers, memory management, parallel hardware; interfaces to foreign functions, services, components or low-level machine resources Transformation and analysis: abstract interpretation, partial evaluation, program transformation Software-development techniques: design patterns, specification, verification, validation, debugging, test generation, tracing, profiling Practice and experience: functional programming in education and industry Functional pearls: elegant, instructive examples Affiliated WorkshopsWhile there are no permanent affiliations between individual workshopsand ICFP, a number of well-established workshops have regularly beenaffiliated with ICFP, including: The Haskell Workshop/Symposium Erlang Workshop Workshop on Scheme and Functional Programming Commercial Users of Functional Programming (CUFP) Workshop on ML Workshop on Mechanizing Metatheory (WMM) Workshop on Generic Programming (WGP) Functional and Declarative Programming in Education (FDPE) Functional Programming Developer Tracks (DEFUN) Programming Languages meets Program Verification (PLPV) MEchanized Reasoning about Languages with varIable biNding (MERLIN) Workshop on Curry and Functional Logic Programming Programming ContestThe winners of the annual ICFP Programming Contest are announced at ICFP. Permanent Home Page of the ICFP Programming Contest Past and Current ICFP Conferences 2009 International Conference on Functional Programming (ICFP 2009) Edinburgh, United Kingdom; August 31 - September 2, 2009 General Chair: Graham Hutton; Program Chair: Andrew Tolmach 2008 International Conference on Functional Programming (ICFP 2008) (local archive) Victoria, British Columbia, Canada; September 22-24, 2008 General Chair: James Hook; Program Chair: Peter Thiemann 2007 International Conference on Functional Programming (ICFP 2007) (local archive) Freiburg, Germany; October 1-3, 2007 General Chair: Ralf Hinze; Program Chair: Norman Ramsey 2006 International Conference on Functional Programming (ICFP 2006) (local archive) Portland, Oregon; September 18-20, 2006 General Chair: John Reppy; Program Chair: Julia Lawall 2005 International Conference on Functional Programming (ICFP 2005) (local archive) Tallinn, Estonia; September 26-28, 2005 General Chair: Oliver Danvy; Program Chair: Benjamin Pierce 2004 International Conference on Functional Programming (ICFP 2004) (local archive) Snowbird, Utah; September 19-22, 2004 General Chair: Chris Okasaki; Program Chair: Kathleen Fisher 2003 International Conference on Functional Programming (ICFP 2003) (local archive) Uppsala, Sweden; August 25-29, 2003 General Chair: Colin Runciman; Program Chair: Olin Shivers 2002 International Conference on Functional Programming (ICFP 2002) (local archive) Pittsburgh, Pennsylvania; October 4-6, 2002 General Chair: Mitchell Wand; Program Chair: Simon Peyton Jones 2001 International Conference on Functional Programming (ICFP 2001) (local archive) Florence, Italy; September 3-5, 2001 General Chair: Benjamin Pierce; Program Chair: Xavier Leroy 2000 International Conference on Functional Programming (ICFP 2000) (local archive) Montreal, Canada; September 18-20, 2000 General Chair: Martin Odersky; Program Chair: Phil Wadler 1999 International Conference on Functional Programming (ICFP 1999) (local archive) Paris, France; September 27-29, 1999 General Chair: Didier Remy; Program Chair: Peter Lee 1998 International Conference on Functional Programming (ICFP 1998) (irrecoverable) Baltimore, Maryland; September 26-29, 1998 General Chair: Matthias Felleisen; Program Chair: Paul Hudak/Christian Queinnec 1997 International Conference on Functional Programming (ICFP 1997) (local archive) Amsterdam, Netherlands; June 9-11, 1997 General Chair: Simon Peyton Jones; Program Chair: Mads Tofte Most Influential Paper (announced at ICFP'07): Functional reactive animation, Conal Elliott and Paul Hudak 1996 International Conference on Functional Programming (ICFP 1996) (local archive) Philadelphia, Pennsylvania; May 24-26, 1996 General Chair: Robert Harper; Program Chair: R. Kent Dybvig Most Influential Paper (announced at ICFP'07): Optimality and inefficiency: What isn't a cost model of the lambda calculus?, Julia Lawall and Harry Mairson HistoryICFP combined two former biennial conferences: Functional Programming and Computer Architecture (FPCA) Lisp and Functional Programming (LFP)SIGPLAN AwardsSIGPLAN offers a numberof awards to recognizecontributions in the field of programming languages. Members of theICFP community are encouraged to submit nominations. Programming Languages Achievement Award Distinguished Service Award Doctoral Dissertation Award Most Influential ICFP Award Related Conferences and Workshops FLOPS: International Symposium on Functional and Logic Programming IFL: International Symposia on Implementation and Application of Functional Languages MPC: International Conference on Mathematics of Program Construction POPL: Principles of Programming Languages TFP: Symposium on Trends in Functional Programming TLDI: International Workshop on Types in Language Design and Implementation PLI: Principles, Logics, and Implementations of High-Level Programming Languages |
|
