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

DOI10.1007/S10990-011-9074-ZMaRDI QIDQ1929344zbMATHOpenAlexFDO

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

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

verificationapplicationstypesimplementationtrendsfunctional parallel programming

Mathematics Subject Classification ID

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

Recommendations

• Editorial TFP 2009/2010
• Funktionale und Applikative Programmierung
• Commercial users of functional programming workshop report
• scientific article; zbMATH DE number 2080759
• Editorial: Functional and (constraint) logic programming

Cites work

• scientific article; zbMATH DE number 53087 (Why is no real title available?)
• scientific article; zbMATH DE number 108369 (Why is no real title available?)
• scientific article; zbMATH DE number 108549 (Why is no real title available?)
• scientific article; zbMATH DE number 1956560 (Why is no real title available?)
• A calculus of functional BSP programs
• A space consumption analysis by abstract interpretation
• A theory of type polymorphism in programming
• Algebra of programming in Agda: Dependent types for relational program derivation
• Algorithm + strategy = parallelism
• Amortised Memory Analysis Using the Depth of Data Structures
• An Introduction to iTasks: Defining Interactive Work Flows for the Web
• An operational semantics for parallel lazy evaluation
• Collected size semantics for strict functional programs over general polymorphic lists
• Complete and decidable type inference for GADTs
• Compositional explanation of types and algorithmic debugging of type errors
• Deforestation: Transforming programs to eliminate trees
• Deriving a lazy abstract machine
• Dynamic typing in polymorphic languages
• Dynamic typing: Syntax and proof theory
• Fast and loose reasoning is morally correct
• MULTILISP: a language for concurrent symbolic computation
• Parallel functional programming in Eden
• Proof Tool Support for Explicit Strictness
• Proving Theorems about LISP Functions
• Recursive algorithm for computing the frequency response of a class of non-linear difference equation models
• Referential transparency, definiteness and unfoldability
• Scripting the type inference process
• Space-efficient gradual typing
• Static prediction of heap space usage for first-order functional programs
• The Principal Type-Scheme of an Object in Combinatory Logic
• The power of Pi
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• Use Cases for Refactoring in Erlang

Cited in

(4)

• Preface: Editorial of special issue trends in functional programming 2011/12
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• Commercial users of functional programming workshop report
• Editorial TFP 2009/2010

Describes a project that uses

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1929344)