Trends in trends in functional programming 1999/2000 versus 2007/2008

DOI10.1007/s10990-011-9074-zzbMath1256.68028OpenAlexW2090467396MaRDI QIDQ1929344

Pieter Koopman, Marco T. Morazán, Marko van Eekelen, Peter Achten

Publication date: 8 January 2013

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-011-9074-z

zbMATH Keywords

verificationtypesapplicationstrendsimplementationfunctional parallel programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)

Related Items (1)

Trends in trends in functional programming 1999/2000 versus 2007/2008

Uses Software

• Coq
• MapReduce
• ML
• CLEAN
• Haskell
• Eiffel
• Ivor
• Nuprl
• QuickCheck
• Curry
• Camlflow
• Alfalfa
• Symgrid
• iTasks
• GUM
• Multilisp
• Agda
• EasyCheck
• SmallCheck
• AoPA
• Eden
• Hop
• Links

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Space-efficient gradual typing
• Deforestation: Transforming programs to eliminate trees
• A theory of type polymorphism in programming
• Dynamic typing: Syntax and proof theory
• A calculus of functional BSP programs
• Referential transparency, definiteness and unfoldability
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• Complete and decidable type inference for GADTs
• Static prediction of heap space usage for first-order functional programs
• An operational semantics for parallel lazy evaluation
• Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists
• An Introduction to iTasks: Defining Interactive Work Flows for the Web
• Use Cases for Refactoring in Erlang
• Amortised Memory Analysis Using the Depth of Data Structures
• Proof Tool Support for Explicit Strictness
• Algebra of programming in Agda: Dependent types for relational program derivation
• MULTILISP: a language for concurrent symbolic computation
• Proving Theorems about LISP Functions
• Recursive algorithm for computing the frequency response of a class of non-linear difference equation models
• Algorithm + strategy = parallelism
• Deriving a lazy abstract machine
• Dynamic typing in polymorphic languages
• Compositional explanation of types and algorithmic debugging of type errors
• The power of Pi
• Scripting the type inference process
• Fast and loose reasoning is morally correct
• The Principal Type-Scheme of an Object in Combinatory Logic
• Parallel functional programming in Eden
• A Space Consumption Analysis by Abstract Interpretation

This page was built for publication: Trends in trends in functional programming 1999/2000 versus 2007/2008