Faster access than browser!
23 relations: Academic conference, ACM Transactions on Programming Languages and Systems, Association for Computing Machinery, Compiler, Computer science, Copenhagen, Denmark, Functional programming, Higher-Order and Symbolic Computation, ICFP Programming Contest, International Federation for Information Processing, International Symposium on Memory Management, Journal of Functional Programming, Logic, Northwestern University, Programming language, Programming Language Design and Implementation, Robert Bruce Findler, SIGPLAN, Software development, Symposium on Principles of Programming Languages, Symposium on Trends in Functional Programming, University of Freiburg.
Academic conference
An academic conference or symposium is a conference for researchers (not necessarily academics) to present and discuss their work.
New!!: International Conference on Functional Programming and Academic conference · See more »
ACM Transactions on Programming Languages and Systems
The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly peer-reviewed scientific journal on programming languages published by the Association for Computing Machinery since 1979.
New!!: International Conference on Functional Programming and ACM Transactions on Programming Languages and Systems · See more »
Association for Computing Machinery
The Association for Computing Machinery (ACM) is an international learned society for computing.
New!!: International Conference on Functional Programming and Association for Computing Machinery · See more »
Compiler
A compiler is computer software that transforms computer code written in one programming language (the source language) into another programming language (the target language).
New!!: International Conference on Functional Programming and Compiler · See more »
Computer science
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
New!!: International Conference on Functional Programming and Computer science · See more »
Copenhagen
Copenhagen (København; Hafnia) is the capital and most populous city of Denmark.
New!!: International Conference on Functional Programming and Copenhagen · See more »
Denmark
Denmark (Danmark), officially the Kingdom of Denmark,Kongeriget Danmark,.
New!!: International Conference on Functional Programming and Denmark · See more »
Functional programming
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.
New!!: International Conference on Functional Programming and Functional programming · See more »
Higher-Order and Symbolic Computation
Higher-Order and Symbol Computation (formerly LISP and Symbolic Computation; print:, online) is a computer science journal published by Springer Science+Business Media.
New!!: International Conference on Functional Programming and Higher-Order and Symbolic Computation · See more »
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.
New!!: International Conference on Functional Programming and ICFP Programming Contest · See more »
International Federation for Information Processing
The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of information and communication technologies (ICT) to conduct research, develop standards and promote information sharing.
New!!: International Conference on Functional Programming and International Federation for Information Processing · See more »
International Symposium on Memory Management
The International Symposium on Memory Management (ISMM) is an ACM SIGPLAN symposium on memory management.
New!!: International Conference on Functional Programming and International Symposium on Memory Management · See more »
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.
New!!: International Conference on Functional Programming and Journal of Functional Programming · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: International Conference on Functional Programming and Logic · See more »
Northwestern University
Northwestern University (NU) is a private research university based in Evanston, Illinois, United States, with other campuses located in Chicago and Doha, Qatar, and academic programs and facilities in Miami, Florida, Washington, D.C., and San Francisco, California.
New!!: International Conference on Functional Programming and Northwestern University · See more »
Programming language
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
New!!: International Conference on Functional Programming and Programming language · See more »
Programming Language Design and Implementation
Programming Language Design and Implementation (PLDI) is one of the ACM SIGPLAN's most important conferences.
New!!: International Conference on Functional Programming and Programming Language Design and Implementation · See more »
Robert Bruce Findler
Robert Bruce Findler, colloquially known as "Robby", is an American computer scientist, currently, a professor of electrical engineering and computer science at Northwestern University.
New!!: International Conference on Functional Programming and Robert Bruce Findler · See more »
SIGPLAN
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
New!!: International Conference on Functional Programming and SIGPLAN · See more »
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.
New!!: International Conference on Functional Programming and Software development · See more »
Symposium on 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 programming languages, programming systems, and programming interfaces.
New!!: International Conference on Functional Programming and Symposium on Principles of Programming Languages · See more »
Symposium on Trends in Functional Programming
The Symposium on Trends in Functional Programming (TFP) is focused on research in the field of functional programming and investigating relationships with other branches of computer science.
New!!: International Conference on Functional Programming and Symposium on Trends in Functional Programming · See more »
University of Freiburg
The University of Freiburg (colloquially Uni Freiburg), officially the Albert Ludwig University of Freiburg (Albert-Ludwigs-Universität Freiburg), is a public research university located in Freiburg im Breisgau, Baden-Württemberg, Germany.
New!!: International Conference on Functional Programming and University of Freiburg · See more »
Redirects here:
ACM Conference on LISP and Functional Programming, ACM Symposium on LISP and Functional Programming, CUFP, Commercial Users of Functional Programming, Conference on Functional Programming Languages and Computer Architecture, Conference on LISP and Functional Programming, Erlang Workshop, FPCA, Functional Programming Languages and Computer Architecture, Functional and Declarative Programming in Education, Haskell Symposium, ICFP, LISP and Functional Programming, Lisp and Functional Programming, Symposium on LISP and Functional Programming, Workshop on Generic Programming, Workshop on ML.
References
[1] https://en.wikipedia.org/wiki/International_Conference_on_Functional_Programming
