Functional Programming with Overloading and Higher-Order.
For the theoretical roots of functional programming, you should read classical papers about lambda calculus by Alonzo Church and Stephen Kleene. I prefer to read this material in the form of books though. Types and Programming Languages is one such (outstanding) book.
Datafun: A Functional Datalog (ICFP 2016 - Research Papers) - ICFP 2016 ICFP 2016 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.
Department of Computer Science, 2019-2020, fp, Functional Programming. Overview. MSc students will be assessed by invigilated exam lasting 3 hours in week 0 of HT.
Call for papers. PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. PLDI welcomes outstanding research which clearly advances the field and has the potential to make a lasting contribution.
The functional programming archive Jon Hill maintains this handy archive. Researchers can register articles, which are listed with full bibliographic information, keywords, and links to the paper proper. Papers are grouped by primary and secondary topics, so one can browse for related papers.
Functional Programming Matters John Hughes The University, Glasgow Abstract As software becomes more and more complex, it is more and more important to structure it well. Well-structured software is easy to write and to debug, and provides a collection of modules that can be reused to reduce future programming costs. In this paper we show that two fea-.
ICFP 2020 is the 25th ACM SIGPLAN International Conference on Functional Programming. The main conference will take place during August 24-26, 2020 at the Hyatt Regency Jersey City on the Hudson. Co-located workshops and tutorials will take place on August 23 and 27-28. The Call for Papers for the ICFP issue of PACMPL is now available.
The existing model of functional programming, although elegant and powerful, is compromised to a greater extent than is commonly recognized by the presence of partial functions. We consider a simple discipline of total functional programming designed to exclude the possibility of non-termination.
Functional programming is useful to tackle certain types of problems. Functional programming has its advantages in a certain set of conditions and situations. There are also set of problems in which functional programming is not particularly useful.
Arrows, robots, and functional reactive programming Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. In Summer Shcool on Advanced Functional Programming 2002, Oxford University, volume 2638 of Lecture Notes in Computer Science, pages 159 - 187, 2003.
ECOOP is a programming languages conference, and solicits high-quality submissions describing original and unpublished results on any Programming Languages topic. The traditional focus of the conference was on object orientation, but the focus now is on a much broader range of programming topics. This year’s conference will feature research papers, tool insights papers, reproduction studies.
Introduction to Functional Programming using Gofer, by P.E.Wentworth (100 pages). Functional Programming by Jeroen Fokker. Higher Order Functions for Parsing, Graham Hutton. Monadic parser combinators, Graham Hutton and Erik Meijer, an updated version of the above using a parser monad.
My research interests are interactive theorem proving and dependently typed programming using type theory. In particular the design and implementation of systems supporting these activities. I am a member of the Programming Logic and the Functional Programming groups. Papers. Ana Bove, Peter Dybjer and Ulf Norell.
