MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multiprocessor systems programming in a high-level data-flow language
Volume I: Parallel architectures on PARLE: Parallel Architectures and Languages Europe
Alfalfa: distributed graph reduction on a hypercube multiprocessor
Proc. of a workshop on Graph reduction
Parallel implementations of functional programming languages
The Computer Journal - Special issue on Lazy functional programming
Referential transparency, definiteness and unfoldability
Acta Informatica
Deforestation: transforming programs to eliminate trees
Proceedings of the Second European Symposium on Programming
New ideas in parallel Lisp: language design, implementations, and programming tools
Proceedings of the US/Japan workshop on Parallel Lisp on Parallel Lisp: languages and systems
A parallel Lisp language PaiLisp and its kernel specification
Proceedings of the US/Japan workshop on Parallel Lisp on Parallel Lisp: languages and systems
Proceedings of the US/Japan workshop on Parallel Lisp on Parallel Lisp: languages and systems
Dynamic typing in a statically typed language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel functional languages and compilers
Parallel functional languages and compilers
Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
Eiffel: the language
Dynamic typing: syntax and proof theory
ESOP'92 Selected papers of the symposium on Fourth European symposium on programming
GUM: a portable parallel implementation of Haskell
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Multi-paradigm declarative programming (tutorial)
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Modern languages for modern parallel computing (invited lecture, abstract only)
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
A calculus of functional BSP programs
Science of Computer Programming - Special issue on mathematics of program construction
An operational semantics for parallel lazy evaluation
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Compositional explanation of types and algorithmic debugging of type errors
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Finding the source of type errors
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Functional Programming and Parallel Graph Rewriting
Functional Programming and Parallel Graph Rewriting
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static prediction of heap space usage for first-order functional programs
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
PARLE '91 Proceedings of Parallel Architectures and Languages - Volume II
An Abstract Machine for Memory Management
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
How to Combine the Benefits of Strict and Soft Typing
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
Explaining Type Errors by Finding the Source of a Type Conflict
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
Deep Type Inference for Mobile Functions
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
A Functional Design Framework for Genetic Algorithms
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
Reuse by Program Transformation
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
An Abstract Machine for Parallel Lazy Evaluation
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
BSP-based Cost Analysis of Skeletal Programs
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
High Level BSP Programming: BSML and BSlambda
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
The MT Architecture and Allocation Algorithm
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
Generalising Techniques for Type Debugging
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
List Homomorphisms with Accumulation and Indexing
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
Optimising Eden by transformation
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
An application of functional programming: quilting
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
Parallel composition and bulk synchronous parallel functional programming
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
Detecting common elements of types
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
A distributed operational semantics for a parallel functional language
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
CAMLFLOW: a CAML to data-flow graph translator
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
Controlling parallelism and data distribution in Eden
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
The space usage problem: An evaluation kit for graph reduction semantics
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
Dynamic Types and Type Dependent Functions
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
The costs and benefits of cloning in a lazy functional language
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
Interactive type debugging in Haskell
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Algorithm + strategy = parallelism
Journal of Functional Programming
Deriving a lazy abstract machine
Journal of Functional Programming
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
Modeling user interfaces in a functional language
Modeling user interfaces in a functional language
Parallel functional programming in Eden
Journal of Functional Programming
Fast and loose reasoning is morally correct
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
MapReduce: simplified data processing on large clusters
Communications of the ACM - 50th anniversary issue: 1958 - 2008
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Functional programming and theorem proving for undergraduates: a progress report
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values
Proceedings of the first ACM SIGPLAN symposium on Haskell
Shortcut fusion rules for the derivation of circular and higher-order monadic programs
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Embedding a logical theory of constructions in Agda
Proceedings of the 3rd workshop on Programming languages meets program verification
Amortised Memory Analysis Using the Depth of Data Structures
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Complete and decidable type inference for GADTs
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Algebra of programming in agda: Dependent types for relational program derivation
Journal of Functional Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
GAST: generic automated software testing
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Lazy dynamic input/output in the lazy functional language clean
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Parallel superposition for bulk synchronous parallel ML
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Type error slicing in implicitly typed higher-order languages
ESOP'03 Proceedings of the 12th European conference on Programming
Links: web programming without tiers
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Test-based inference of polynomial loop-bound functions
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
A space consumption analysis by abstract interpretation
FOPARA'09 Proceedings of the First international conference on Foundational and practical aspects of resource analysis
Collected size semantics for functional programs over lists
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Proof tool support for explicit strictness
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
SymGrid: a framework for symbolic computation on the grid
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Hi-index | 0.00 |
The Trends in Functional Programming Symposia are an annual event dedicated to promoting new research directions in functional programming and to investigating the relationship between functional programming and other branches of Computer Science. The TFP series started in 1999 and the 2008 meeting marked the first decade of the symposium. In this paper we identify and discuss the trends presented at TFP using a macro-vision lens that looks at topics in the first two volumes of TFP and the two most recent volumes of TFP. The goal is to calibrate how trends have changed over a decade instead of analyzing trends with a micro-vision lens that focuses on changes from year to year. The major trends identified are work on parallel functional programming, types, formal verification, implementation of functional languages, and application development.