This is Volume 7 of Trends in Functional Programming (TFP). It
contains a refereed selection of the papers that were presented at TFP
2006: the Seventh Symposium on Trends in Functional Programming. which
took place in Nottingham, 19-21 April, 2006. TFP is an international
forum for researchers from all functional programming communities
spanning the entire width of topics in the field. Its goal is to
provide a broad view of current and future trends in functional
programming in a lively and friendly setting, thus promoting new
research directions related to the field of functional programming and
the relationship between functional programming and other fields of
computer science. True to the spirit of TFP, the selection of papers
in this volume covers a wide range of topics, including dependently
typed programming, generic programming, purely functional data
structures, function synthesis, declarative debugging, implementation
of functional programming languages, and memory management. A
particular emerging trend is that of dependently typed programming,
reflected by a number of papers in the present selection and by the
co-location of TFP and Types 2006.
Les mer
Produktdetaljer
ISBN
9781841509938
Publisert
2016
Utgave
1. utgave
Utgiver
Vendor
Intellect Books
Språk
Product language
Engelsk
Format
Product format
Digital bok
Forfatter